diff options
Diffstat (limited to 'contrib/jenkins_arm.sh')
-rwxr-xr-x | contrib/jenkins_arm.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/contrib/jenkins_arm.sh b/contrib/jenkins_arm.sh index acdbe3cc..45795966 100755 --- a/contrib/jenkins_arm.sh +++ b/contrib/jenkins_arm.sh @@ -16,8 +16,7 @@ build() { --disable-shared \ CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs -Werror" - $MAKE $PARALLEL_MAKE \ - || cat-testlogs.sh + run_make } # verify build in dir other than source tree |