Giuseppe Lavagetto has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/378953 )
Change subject: Makefile: make "clean" fault-tolerant
......................................................................
Makefile: make "clean" fault-tolerant
Change-Id: I5f4718037e29b63024d2e1d80f9c707749b419e9
---
M Makefile
1 file changed, 4 insertions(+), 4 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/operations/docker-images/production-images
refs/changes/53/378953/1
diff --git a/Makefile b/Makefile
index a790203..2a49868 100644
--- a/Makefile
+++ b/Makefile
@@ -38,13 +38,13 @@
clean-artifacts:
ifeq ($(DOCKER), 1)
-docker rmi production-images-build:latest
- rm production-image.created
+ -rm production-image.created
endif
- rm -rf .artifacts
+ -rm -rf .artifacts
clean: clean-artifacts clean-dev
- rm -rf .venv
- rm -rf frozen-requirements.txt
+ -rm -rf .venv
+ -rm -rf frozen-requirements.txt
clean-dev:
rm -rf .venv-dev
--
To view, visit https://gerrit.wikimedia.org/r/378953
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I5f4718037e29b63024d2e1d80f9c707749b419e9
Gerrit-PatchSet: 1
Gerrit-Project: operations/docker-images/production-images
Gerrit-Branch: master
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
