diff options
author | Daniel Stenberg <daniel@haxx.se> | 2018-07-30 13:40:09 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2018-07-30 17:56:01 +0200 |
commit | fe60cbfbbfc2aa5a2bd46165a7304e3031041fd0 (patch) | |
tree | a78c7b708e1774ef5831eeb6e685676f00dd77db /.gitignore | |
parent | 089833147420e1b6018c79d1929a8284b1b8aa8a (diff) |
travis: run a 'make checksrc' too
... to make sure the examples are all checked.
Closes #2811
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions