diff options
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/main.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis/main.sh b/travis/main.sh index 7749a0a..bfb7aae 100755 --- a/travis/main.sh +++ b/travis/main.sh @@ -35,7 +35,7 @@ main() { v ./configure --disable-maintainer-mode --disable-openmp # Standard optimized build. - m + m V=1 m check # LSan needs sudo, which we don't use at the moment |