diff options
author | Max <msuraev@sysmocom.de> | 2017-02-20 18:24:03 +0100 |
---|---|---|
committer | Max <msuraev@sysmocom.de> | 2017-02-20 18:24:03 +0100 |
commit | 8a3be282ab265a2587608e471b274dda200eae84 (patch) | |
tree | f6d495353f903be477d05a42a50fa358d013a881 /contrib | |
parent | 254745880bb2ff7f17fe158fb7bfb5e1dc530906 (diff) |
Enable sanitize
Add ./configure option to enable ASAN checks and use it for jenkins
tests. While at it - also move to /bin/sh shebang as we don't use
bashisms anyway.
Change-Id: Ie26e54ab6b850c9adf124a6bc613ec9bc9e8a6e2
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 403909b..2ca3f46 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -ex @@ -24,7 +24,7 @@ echo set -x autoreconf --install --force -./configure +./configure --enable-sanitize $MAKE $PARALLEL_MAKE $MAKE distcheck \ || cat-testlogs.sh |