summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcontrib/jenkins-arm.sh33
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