From 16c8b6107119db3448b6828d3d2757888f2b2376 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 17 May 2018 20:12:51 +0200
Subject: [PATCH] allow configuring build target
---
buildjob | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/buildjob b/buildjob
index 2ab2088..4dbde91 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
--
GitLab