From 8ec855ae44ec77fa7ce4e13101c6a08441d3abba Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 20 Jun 2018 10:55:23 +0200
Subject: [PATCH] Revert "allow configuring build target"
This reverts commit 16c8b6107119db3448b6828d3d2757888f2b2376. We don't need this any more.
---
buildjob | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/buildjob b/buildjob
index 4dbde91..2ab2088 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
--
GitLab