[MERGED] libosmocore[master]: jenkins.sh: Disable sanitize for FreeBSD

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

Pau Espin Pedrol gerrit-no-reply at lists.osmocom.org
Fri Jun 23 15:42:45 UTC 2017


Pau Espin Pedrol has submitted this change and it was merged.

Change subject: jenkins.sh: Disable sanitize for FreeBSD
......................................................................


jenkins.sh: Disable sanitize for FreeBSD

Our current build server uses clang-3.4.1 and FreeBSD10.3, and
AddressSanitizer support is not good yet on those versions, triggering
some link issues when it is enabled.

I tested using newer clang 3.7.1 in the same FreeBSD version but another
compiler error related to __builtin_cpu_supports is triggered.

Conclusion: Explicitly disable AddressSanitizer until we move to
FreeBSD11 with clang 3.8. Before this commit, AddressSanitizer was
implicitly disabled due to a shell compatibility issue which is fixed
in next commit in the series, thus we need to explicitly disable it here.

Change-Id: I0db497045a2ebf7877232b28ae1fcf1fd89fb3f3
---
M contrib/jenkins.sh
1 file changed, 7 insertions(+), 1 deletion(-)

Approvals:
  Harald Welte: Looks good to me, approved
  Jenkins Builder: Verified



diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 0c11682..bb6c3cb 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -4,8 +4,14 @@
 
 ./contrib/verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]")
 
+if [ "x$label" = "xFreeBSD_amd64" ]; then
+        ENABLE_SANITIZE=""
+else
+        ENABLE_SANITIZE="--enable-sanitize"
+fi
+
 autoreconf --install --force
-./configure --enable-static --enable-sanitize
+./configure --enable-static $ENABLE_SANITIZE
 $MAKE $PARALLEL_MAKE check \
   || cat-testlogs.sh
 $MAKE distcheck \

-- 
To view, visit https://gerrit.osmocom.org/3029
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0db497045a2ebf7877232b28ae1fcf1fd89fb3f3
Gerrit-PatchSet: 1
Gerrit-Project: libosmocore
Gerrit-Branch: master
Gerrit-Owner: Pau Espin Pedrol <pespin at sysmocom.de>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: Pau Espin Pedrol <pespin at sysmocom.de>



More information about the gerrit-log mailing list