diff options
| author | Loïc Hoguin <[email protected]> | 2015-07-21 21:05:58 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-07-21 21:07:04 +0200 |
| commit | 70e49fd619f9fd2d21a9e33bb73cf73d4df4fd7c (patch) | |
| tree | 3488fe7bb0666165712ad4a34638d5fef8829729 /doc/src/manual/cowboy_rest.ezdoc | |
| parent | 12a4cc5947852fc8b94c133bcbf482a4f085982e (diff) | |
| download | cowboy-70e49fd619f9fd2d21a9e33bb73cf73d4df4fd7c.tar.gz cowboy-70e49fd619f9fd2d21a9e33bb73cf73d4df4fd7c.tar.bz2 cowboy-70e49fd619f9fd2d21a9e33bb73cf73d4df4fd7c.zip | |
Don't ignore failure when doing 'make ci'
The best way to use 'make ci' is 'make -k ci', then it
will complete its run even if a version fails, and still
exit with an error code.
Diffstat (limited to 'doc/src/manual/cowboy_rest.ezdoc')
0 files changed, 0 insertions, 0 deletions