diff options
author | Daniel Stenberg <daniel@haxx.se> | 2017-05-08 15:10:09 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2017-05-08 15:11:11 +0200 |
commit | 78007305203140162f567fd611182cfc41ac51dd (patch) | |
tree | 22fd540a9117ee900655d136e56f63d784496cbc /scripts/contrithanks.sh | |
parent | f27c884be8c35287569b7fc909c9a2455d5e38e3 (diff) |
curl.1: depend the build on the Makefile.inc too
... to also make it update when we remove files, like we did for
--environment in commit a8e388dd1095.
Diffstat (limited to 'scripts/contrithanks.sh')
0 files changed, 0 insertions, 0 deletions