diff options
| -rw-r--r-- | clustering/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clustering/Makefile b/clustering/Makefile index 945a5f0b..d5640164 100644 --- a/clustering/Makefile +++ b/clustering/Makefile @@ -35,9 +35,11 @@ docker: docker build -t clustering-seqdiag . docker run --rm clustering-seqdiag | tar xvf - +.PHONY: docker-clean docker-clean: docker rmi clustering-seqdiag || true docker images -q --filter "dangling=true" | xargs docker rmi +.PHONY: fix-clock-skew fix-clock-skew: boot2docker ssh sudo date -u -D "%Y%m%d%H%M.%S" --set "$(shell date -u +%Y%m%d%H%M.%S)" |