diff options
author | Orestis Floros <orestisflo@gmail.com> | 2020-05-01 13:55:56 +0200 |
---|---|---|
committer | Orestis Floros <orestisflo@gmail.com> | 2020-05-01 14:03:38 +0200 |
commit | 45a0b91141a6e3e942b8351e765817f2d931c5a2 (patch) | |
tree | 4b49e85e5296bb094a60729e7a29e00dd744ee0c | |
parent | 980164cccaa37eea7494b2d238fdb3e4c73e3beb (diff) |
travis: Re-enable sanitizers
-rw-r--r-- | .travis.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 02c9223..6b92858 100644 --- a/.travis.yml +++ b/.travis.yml @@ -35,7 +35,6 @@ addons: - libcap2-bin - pulseaudio script: - # TODO: re-enable sanitizers once issues are fixed - - autoreconf -fi && mkdir -p build && cd build && (../configure --disable-sanitizers || (cat config.log; false)) && make -j 8 V=1 && ldd ./i3status |& grep -q pulse || (echo "not linked against pulseaudio"; exit 1) - - make clean && (../configure --disable-sanitizers --disable-pulseaudio || (cat config.log; false)) && make -j 8 V=1 && ldd ./i3status |& grep -q pulse && (echo "linked against pulseaudio"; exit 1) || true + - autoreconf -fi && mkdir -p build && cd build && (../configure || (cat config.log; false)) && make -j 8 V=1 && ldd ./i3status |& grep -q pulse || (echo "not linked against pulseaudio"; exit 1) + - make clean && (../configure --enable-sanitizers --disable-pulseaudio || (cat config.log; false)) && make -j 8 V=1 && ldd ./i3status |& grep -q pulse && (echo "linked against pulseaudio"; exit 1) || true - make -j 8 check V=1 || (cat test-suite.log; false) |