jenkins: use make -k check
authorJustus Winter <justus@g10code.com>
Tue, 3 Jan 2017 14:18:37 +0000 (15:18 +0100)
committerJustus Winter <justus@g10code.com>
Wed, 11 Jan 2017 11:05:07 +0000 (12:05 +0100)
misc/jenkins/bin/build.bash

index 0f32883..7616e59 100755 (executable)
@@ -117,7 +117,7 @@ case "$XTARGET" in
                   CXXFLAGS="$CXXFLAGS -fPIC -std=c++11"
         make $MAKEFLAGS
 
-        make check verbose=2 || true
+        make -k check verbose=2 || true
         # Jenkins looks for "tests? failed" to mark a build unstable,
         # hence || true here
 
@@ -134,7 +134,7 @@ case "$XTARGET" in
                   CXXFLAGS="$CXXFLAGS $SANFLAGS -fPIC -std=c++11"
         $SCANBUILD make $MAKEFLAGS
 
-        make check verbose=2 || true
+        make -k check verbose=2 || true
         # Jenkins looks for "tests? failed" to mark a build unstable,
         # hence || true here