commit | 406a1f0acf63d88c197d1d29221294f9e27f774d | [log] [tgz] |
---|---|---|
author | Max <msuraev@sysmocom.de> | Thu Dec 21 17:34:19 2017 +0100 |
committer | Max <msuraev@sysmocom.de> | Thu Dec 21 17:34:19 2017 +0100 |
tree | 38abd83dede37fae5bfb22346ee2bc9c7cade647 | |
parent | b2f0b62cd4603b8aa12172423e9c32408e048560 [diff] |
Enable sanitize for CI test Change-Id: Ia33ffb9b25df587706367bc24925cf9cead3b9a0
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index fb529a4..05b9639 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -44,7 +44,8 @@ cd "$base" elif [ -z "$with_dsp" -o "$with_dsp" = none ]; then - echo "Direct DSP access disabled" + echo "Direct DSP access disabled, sanitizer enabled" + PCU_CONFIG="$PCU_CONFIG --enable-sanitize" else echo 'Invalid $with_dsp value:' $with_dsp exit 1