diff options
author | Loïc Hoguin <[email protected]> | 2017-07-10 18:17:13 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2017-07-10 18:17:13 +0200 |
commit | 60983d6c7ab23e211aaf3d9eb7a040385d9d7d1b (patch) | |
tree | 90f5847e449bc95518744d2516c809db104860c5 | |
parent | f80753f4a653edd32469ebc2fdd99b8db2c74c54 (diff) | |
download | cowlib-60983d6c7ab23e211aaf3d9eb7a040385d9d7d1b.tar.gz cowlib-60983d6c7ab23e211aaf3d9eb7a040385d9d7d1b.tar.bz2 cowlib-60983d6c7ab23e211aaf3d9eb7a040385d9d7d1b.zip |
Experiment distclean instead of clean in CI
-rw-r--r-- | erlang.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6023,7 +6023,7 @@ ci_verbose = $(ci_verbose_$(V)) define ci_target ci-$1: $(CI_INSTALL_DIR)/$2 - $(verbose) $(MAKE) --no-print-directory clean + $(verbose) $(MAKE) --no-print-directory distclean $(ci_verbose) \ PATH="$(CI_INSTALL_DIR)/$2/bin:$(PATH)" \ CI_OTP_RELEASE="$1" \ |