diff options
Diffstat (limited to 'contrib/jenkins_arm.sh')
-rwxr-xr-x | contrib/jenkins_arm.sh | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/contrib/jenkins_arm.sh b/contrib/jenkins_arm.sh new file mode 100755 index 00000000..acdbe3cc --- /dev/null +++ b/contrib/jenkins_arm.sh @@ -0,0 +1,28 @@ +#!/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 |