diff options
| author | René Korthaus <[email protected]> | 2015-11-24 18:26:09 +0100 |
|---|---|---|
| committer | René Korthaus <[email protected]> | 2015-11-24 18:26:09 +0100 |
| commit | ec0485b527f65f750e4bedd0fee7775bbd424fa8 (patch) | |
| tree | 269747bc417e628a99ff230c8dfc99bb9f31cdbb /src/scripts | |
| parent | 30d7e4df88a2ef6333fb6ee17bb0425ac3cba220 (diff) | |
Fix sanitizer build in travis ci
The parameter is actually --with-sanitizers.
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/ci/travis/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index 092e9cbe6..06d3bfb04 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -9,7 +9,7 @@ elif [ "$BUILD_MODE" = "shared" ]; then elif [ "$BUILD_MODE" = "coverage" ]; then CFG_FLAGS=(--with-coverage) elif [ "$BUILD_MODE" = "sanitizer" ]; then - CFG_FLAGS=(--with-sanitizer) + CFG_FLAGS=(--with-sanitizers) fi if [ "$MODULES" = "min" ]; then |