diff options
author | Jack Lloyd <[email protected]> | 2016-10-22 13:20:06 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-10-22 13:20:06 -0400 |
commit | ecbe5a45f3d508b1c8aef7ee7508c65ac3d92c82 (patch) | |
tree | d7af19f92488ef68549e4c87fc3c7dadc7e2db14 /.travis.yml | |
parent | 4e43350da5046dcd2a5a34e453f9f79de4d29e06 (diff) |
Fix Coverity scan
The build interceptor got confused by use of g++-4.8 vs g++
This used to work but broke at some point. Fixes #612
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 98c5f7c2e..5e70c8759 100644 --- a/.travis.yml +++ b/.travis.yml @@ -111,7 +111,7 @@ addons: project: name: "randombit/botan" notification_email: [email protected] - build_command_prepend: "./configure.py --cc-bin=/usr/bin/g++-4.8" + build_command_prepend: "./configure.py --no-optimizations --with-zlib --with-pkcs11" build_command: "make -j2" branch_pattern: coverity_scan |