diff options
author | Max <msuraev@sysmocom.de> | 2017-12-28 12:32:23 +0100 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2018-01-02 07:22:12 +0000 |
commit | 9d60ce6107fe5e873511dadc2a40b4cda23a53a9 (patch) | |
tree | 3b8beb20cda68e0b2456b93456f6fed533cad61b | |
parent | bfeea6713b4e17fcd5cfb0a5b4c042eaf526ae22 (diff) |
Enable sanitize for CI tests
Change-Id: I90ca756691e4f644d93af519ed5d54d794d1d401
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 01e3da2..c739f7f 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -34,7 +34,7 @@ echo set -x autoreconf --install --force -./configure +./configure --enable-sanitize # Verify that checked-in asn1 code is identical to regenerated asn1 code PATH="$inst/bin:$PATH" $MAKE $PARALLEL_MAKE -C src regen |