From 4ca25b21188bc8c3bc657a65329fd3a509165229 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 24 Mar 2018 16:26:33 +0100
Subject: [PATCH] less noisy make: don't print PWD all the time

---
 buildjob | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildjob b/buildjob
index 6546370..80f7df3 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
-- 
GitLab