From 09b8a9d821ab6443ab044353799491e929911f84 Mon Sep 17 00:00:00 2001 From: Rasmus Karlsson Date: Sat, 11 Aug 2018 14:16:59 +0200 Subject: [PATCH] run distclean before making --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 16780a908..621ef91eb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,12 +6,12 @@ pipeline { parallel { stage('GCC') { steps { - sh 'mkdir -p build-linux-gcc && cd build-linux-gcc && qmake .. && make' + sh 'mkdir -p build-linux-gcc && cd build-linux-gcc && make distclean; qmake .. && make' } } stage('Clang') { steps { - sh 'mkdir -p build-linux-clang && cd build-linux-clang && qmake -spec linux-clang .. && make' + sh 'mkdir -p build-linux-clang && cd build-linux-clang && make distclean; qmake -spec linux-clang .. && make' } } }