| Max | 1ac277d | 2018-01-18 19:15:40 +0100 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | |
| 3 | . $(dirname "$0")/jenkins_common.sh |
| 4 | |
| 5 | src_dir="$PWD" |
| 6 | build() { |
| 7 | build_dir="$1" |
| 8 | |
| 9 | prep_build "$src_dir" "$build_dir" |
| 10 | |
| 11 | "$src_dir"/configure --enable-static \ |
| 12 | --prefix=/usr/local/arm-none-eabi \ |
| 13 | --host=arm-none-eabi \ |
| 14 | --enable-embedded \ |
| 15 | --disable-doxygen \ |
| 16 | --disable-shared \ |
| 17 | CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs -Werror" |
| 18 | |
| Max | e41ad4d | 2018-01-18 17:37:18 +0100 | [diff] [blame^] | 19 | run_make |
| Max | 1ac277d | 2018-01-18 19:15:40 +0100 | [diff] [blame] | 20 | } |
| 21 | |
| 22 | # verify build in dir other than source tree |
| 23 | build builddir |
| 24 | # verify build in source tree |
| 25 | build . |
| 26 | |
| 27 | osmo-clean-workspace.sh |