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