romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-07-24 11:57:16 +03:00
Code Issues Projects Releases Packages Wiki Activity

travis: execute "set -eo pipefail" for coverage build

Browse source 
Follow-up to 2de63ab179 and
0b87c96325.

Closes https://github.com/curl/curl/pull/2862
This commit is contained in:
Marcel Raad 2018-08-10 04:30:51 +02:00
parent 531cb203c1
commit 9fe9bd7641
No known key found for this signature in database
GPG key ID: 07ADACB610D796DA
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.travis.yml
View file

@ -228,8 +228,7 @@ before_script:
script:
- |
# Uncomment this when `coverage` runs on Trusty.
# set -eo pipefail
set -eo pipefail
if [ "$T" = "coverage" ]; then
export CC="gcc-7"
./configure --enable-debug --disable-shared --enable-code-coverage