From b5403fb681d18e7ed2e8ad455463db9d0667ae7e Mon Sep 17 00:00:00 2001 From: Daniel Silverstone Date: Sat, 28 Jul 2018 10:53:05 +0100 Subject: Add support for sanitize to jenkins-build.sh --- citools/jenkins-build.sh | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/citools/jenkins-build.sh b/citools/jenkins-build.sh index db406f8..bff4cd0 100755 --- a/citools/jenkins-build.sh +++ b/citools/jenkins-build.sh @@ -32,6 +32,7 @@ # static - perform a static analysis # coverity - perform a coverity scan # docs - build doxygen docs +# sanitize - Run the test suite under ASAN and UBSAN # HOST must be in the environment and set correctly if [ "x${HOST}" = "x" ];then @@ -100,6 +101,11 @@ case "$1" in TARGET_DOCS=${HOST} ;; + "sanitize") + TARGET_SANITIZE=${HOST} + VARIANT="debug" + ;; + "") # default is test only on Linux and install # Currently most tests do not work on targets except for Linux @@ -109,7 +115,7 @@ case "$1" in *) cat <