diff options
| -rw-r--r-- | clustering/Makefile | 4 | ||||
| -rw-r--r-- | clustering/README.md | 4 |
2 files changed, 0 insertions, 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 |