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 | |
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.
-rw-r--r-- | circle.yml | 2 | ||||
-rw-r--r-- | erlang.mk | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -12,5 +12,5 @@ dependencies: test: override: - - make ci: + - make -k ci: timeout: 3600 @@ -5376,7 +5376,7 @@ ci_verbose = $(ci_verbose_$(V)) define ci_target ci-$(1): $(CI_INSTALL_DIR)/$(1) - -$(ci_verbose) \ + $(ci_verbose) \ PATH="$(CI_INSTALL_DIR)/$(1)/bin:$(PATH)" \ CI_OTP_RELEASE="$(1)" \ CT_OPTS="-label $(1)" \ |