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