diff options
| author | Marcel Raad <Marcel.Raad@teamviewer.com> | 2018-08-10 04:30:51 +0200 |
|---|---|---|
| committer | Marcel Raad <Marcel.Raad@teamviewer.com> | 2018-08-10 17:24:17 +0200 |
| commit | 9fe9bd76418979ba12c80a3bbea918ef1c3e31c0 (patch) | |
| tree | 0e7b88e2e80e5a5addffbb210c0d0648873ca474 /docs/libcurl/opts/CURLOPT_HEADER.3 | |
| parent | 531cb203c14498561ea12992cf2b2184c34222d6 (diff) | |
travis: execute "set -eo pipefail" for coverage build
Follow-up to 2de63ab179eb78630ee039ad94fb2a5423df522d and
0b87c963252d3504552ee0c8cf4402bd65a80af5.
Closes https://github.com/curl/curl/pull/2862
Diffstat (limited to 'docs/libcurl/opts/CURLOPT_HEADER.3')
0 files changed, 0 insertions, 0 deletions