diff options
| author | Max <msuraev@sysmocom.de> | 2017-12-21 17:34:19 +0100 |
|---|---|---|
| committer | Max <msuraev@sysmocom.de> | 2017-12-21 17:34:19 +0100 |
| commit | 406a1f0acf63d88c197d1d29221294f9e27f774d (patch) | |
| tree | 38abd83dede37fae5bfb22346ee2bc9c7cade647 /contrib | |
| parent | b2f0b62cd4603b8aa12172423e9c32408e048560 (diff) | |
Enable sanitize for CI test
Change-Id: Ia33ffb9b25df587706367bc24925cf9cead3b9a0
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index fb529a4c..05b96393 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -44,7 +44,8 @@ elif [ "$with_dsp" = lc15 ]; then 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 |