mirror of
https://github.com/ninenines/cowboy.git
synced 2025-07-14 12:20:24 +00:00
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.
This commit is contained in:
parent
12a4cc5947
commit
70e49fd619
2 changed files with 2 additions and 2 deletions
|
@ -12,5 +12,5 @@ dependencies:
|
||||||
|
|
||||||
test:
|
test:
|
||||||
override:
|
override:
|
||||||
- make ci:
|
- make -k ci:
|
||||||
timeout: 3600
|
timeout: 3600
|
||||||
|
|
2
erlang.mk
vendored
2
erlang.mk
vendored
|
@ -5376,7 +5376,7 @@ ci_verbose = $(ci_verbose_$(V))
|
||||||
|
|
||||||
define ci_target
|
define ci_target
|
||||||
ci-$(1): $(CI_INSTALL_DIR)/$(1)
|
ci-$(1): $(CI_INSTALL_DIR)/$(1)
|
||||||
-$(ci_verbose) \
|
$(ci_verbose) \
|
||||||
PATH="$(CI_INSTALL_DIR)/$(1)/bin:$(PATH)" \
|
PATH="$(CI_INSTALL_DIR)/$(1)/bin:$(PATH)" \
|
||||||
CI_OTP_RELEASE="$(1)" \
|
CI_OTP_RELEASE="$(1)" \
|
||||||
CT_OPTS="-label $(1)" \
|
CT_OPTS="-label $(1)" \
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue