From bf5cb84fa95379462fb0934686e415d0a61745f2 Mon Sep 17 00:00:00 2001 From: Joe Beda Date: Wed, 10 Aug 2016 15:51:23 -0700 Subject: Remove support for boot2docker --- clustering/Makefile | 4 ---- clustering/README.md | 4 ---- 2 files changed, 8 deletions(-) diff --git a/clustering/Makefile b/clustering/Makefile index d5640164..e72d441e 100644 --- a/clustering/Makefile +++ b/clustering/Makefile @@ -39,7 +39,3 @@ docker: 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)" diff --git a/clustering/README.md b/clustering/README.md index 014b96c2..d662b952 100644 --- a/clustering/README.md +++ b/clustering/README.md @@ -56,10 +56,6 @@ The first run will be slow but things should be fast after that. To clean up the docker containers that are created (and other cruft that is left around) you can run `make docker-clean`. -If you are using boot2docker and get warnings about clock skew (or if things -aren't building for some reason) then you can fix that up with -`make fix-clock-skew`. - ## Automatically rebuild on file changes If you have the fswatch utility installed, you can have it monitor the file -- cgit v1.2.3