1 files changed, 0 insertions, 28 deletions
diff --git a/contrib/jenkins-arm.sh b/contrib/jenkins-arm.sh
deleted file mode 100755
index acdbe3cc..00000000
--- a/contrib/jenkins-arm.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh
-
-. $(dirname "$0")/jenkins_common.sh
-
-src_dir="$PWD"
-build() {
-    build_dir="$1"
-
-    prep_build "$src_dir" "$build_dir"
-
-    "$src_dir"/configure --enable-static \
-	--prefix=/usr/local/arm-none-eabi \
-	--host=arm-none-eabi \
-	--enable-embedded \
-	--disable-doxygen \
-	--disable-shared \
-	CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs -Werror"
-
-    $MAKE $PARALLEL_MAKE \
-        || cat-testlogs.sh
-}
-
-# verify build in dir other than source tree
-build builddir
-# verify build in source tree
-build .
-
-osmo-clean-workspace.sh