diff --git a/buildjob b/buildjob index 65463704d1c6362976dcacd40f502a694ac862a6..80f7df3efbcc7372dc8e31d0cb551aa6f517f64d 100755 --- a/buildjob +++ b/buildjob @@ -23,7 +23,7 @@ env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt # Build echo_color "$BOLDGREEN" "[buildjob] Perfoming build" -time make -O -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt +time make --output-sync --no-print-directory -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt if fgrep Axiom build-log.txt >/dev/null; then exit 1; fi echo_color "$BOLDGREEN" "[buildjob] Build time summary" cat build-log.txt | egrep "(real|user): [0-9]" | tee build-time.txt