diff --git a/buildjob b/buildjob index 2ab2088f1895487d0f84b66000a6f9a6916bcd4c..4dbde91a6d4aed8316f9295f559362154f3adf4b 100755 --- a/buildjob +++ b/buildjob @@ -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