diff --git a/buildjob b/buildjob index 4dbde91a6d4aed8316f9295f559362154f3adf4b..2ab2088f1895487d0f84b66000a6f9a6916bcd4c 100755 --- a/buildjob +++ b/buildjob @@ -32,9 +32,8 @@ if [[ -n "$MANGLE_NAMES" ]]; then fi # Build -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] Perfoming build" +time make --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