diff options
| -rwxr-xr-x | contrib/jenkins_arm.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/contrib/jenkins_arm.sh b/contrib/jenkins_arm.sh index 8229fc85..1d72f2f5 100755 --- a/contrib/jenkins_arm.sh +++ b/contrib/jenkins_arm.sh @@ -2,6 +2,10 @@ . $(dirname "$0")/jenkins_common.sh + +# from ../configure.ac +WERROR_FLAGS="-Werror -Wno-error=deprecated -Wno-error=deprecated-declarations -Wno-error=cpp" + src_dir="$PWD" build() { build_dir="$1" @@ -14,7 +18,7 @@ build() { --enable-embedded \ --disable-doxygen \ --disable-shared \ - CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs -Werror" + CFLAGS="-Os -ffunction-sections -fdata-sections -nostartfiles -nodefaultlibs $WERROR_FLAGS" $MAKE $PARALLEL_MAKE } |