From 34ca5d2198ffa61dbeaf646205fd55aab4cd1a8f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cenk=20G=C3=BCndo=C4=9Fan?= <mail-github@cgundogan.de>
Date: Mon, 16 Jan 2017 16:03:53 +0100
Subject: [PATCH] jenkins: ccache optimizations
---
Jenkinsfile | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 541c411794..31f0b22be0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -178,7 +178,8 @@ def make_build(label, board, desc, arg)
for app in ${apps}; do
if [[ \$(make -sC \$app info-boards-supported | tr ' ' '\n' | sed -n '/^${board}\$/p') ]]; then
echo \"\n\nBuilding \$app for ${board}\" >> success_${board}_${desc}.log
- make -j\${NPROC} -C \$app all >> success_${board}_${desc}.log 2>&1 || RESULT=1
+ rm -rf jenkins_bin; mkdir jenkins_bin
+ CFLAGS_DBG=\"\" BINDIR=\$(pwd)/jenkins_bin make -j\${NPROC} -C \$app all >> success_${board}_${desc}.log 2>&1 || RESULT=1
fi;
done;
if ((\$RESULT)); then
--
GitLab