diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins-arm.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/contrib/jenkins-arm.sh b/contrib/jenkins-arm.sh deleted file mode 100755 index e2798211..00000000 --- a/contrib/jenkins-arm.sh +++ /dev/null @@ -1,33 +0,0 @@ -#!/bin/sh - -set -ex - -./contrib/verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]") - -autoreconf --install --force -./configure --enable-static --enable-sanitize \ - --prefix=/usr/local/arm-none-eabi \ - --host=arm-none-eabi \ - --enable-embedded \ - --disable-shared \ - CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs" - -$MAKE $PARALLEL_MAKE \ - || cat-testlogs.sh - -# verify build in dir other than source tree -rm -rf * -git checkout . -autoreconf --install --force -mkdir builddir -cd builddir - -../configure --enable-static \ - --prefix=/usr/local/arm-none-eabi \ - --host=arm-none-eabi \ - --enable-embedded \ - --disable-shared \ - CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs" - -$MAKE $PARALLEL_MAKE \ - || cat-testlogs.sh |