Commit 16c8b610 authored by Ralf Jung's avatar Ralf Jung

allow configuring build target

parent 99c935d2
......@@ -32,8 +32,9 @@ if [[ -n "$MANGLE_NAMES" ]]; then
fi
# Build
echo_color "$BOLDGREEN" "[buildjob] Perfoming build"
time make --output-sync --no-print-directory -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt
BUILD_TARGET=${BUILD_TARGET:-all}
echo_color "$BOLDGREEN" "[buildjob] Perfoming build (target: $BUILD_TARGET)"
time make $BUILD_TARGET --output-sync --no-print-directory -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt
echo_color "$BOLDGREEN" "[buildjob] Build time summary"
cat build-log.txt | egrep "(real|user): [0-9]" | tee build-time.txt
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment