diff options
| author | Marcel Raad <Marcel.Raad@teamviewer.com> | 2019-04-02 14:46:23 +0200 |
|---|---|---|
| committer | Marcel Raad <Marcel.Raad@teamviewer.com> | 2019-04-11 21:14:07 +0200 |
| commit | c3d5f400a4025b80c48727e80d1bd998b80abeef (patch) | |
| tree | a96286686bfc7bd890d46082b37c2c74fd106cba /Makefile.dist | |
| parent | 22c28284f679920ba38958469f03a1326d1b999d (diff) | |
travis: install krb5-user only for --with-gssapi build
Reduces the time needed for the other jobs a little.
Closes https://github.com/curl/curl/pull/3721
Diffstat (limited to 'Makefile.dist')
0 files changed, 0 insertions, 0 deletions