diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-06-14 18:30:25 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-06-15 10:28:50 +0200 |
| commit | cd0f25df5f9f162639b622d10dff43c1be905214 (patch) | |
| tree | 08d2cd56ae2b8dca78fe2ea4cbb596472428e9ba /tests | |
| parent | 0f460385894c4f5e926e402c1e31d67aeccf970d (diff) | |
| download | bison-cd0f25df5f9f162639b622d10dff43c1be905214.tar.gz | |
CI: avoid useless git costs
Travis answered favorably to my suggestion to provide a means to
disable git clone on some jobs (issue 7542). See
https://docs.travis-ci.com/user/customizing-the-build/#disabling-git-clone.
* .travis.yml: Disable git globally, enable it for i. the compile job,
and ii. the test job on ICC which needs the install-icc.sh script.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions