diff options
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 |