From 691e34ad79c8ea6b256969fd350ab2cac4d4c710 Mon Sep 17 00:00:00 2001 From: Ralf Vogler Date: Tue, 18 Jun 2019 14:03:02 +0200 Subject: [PATCH] try to speed up mount since setup is really slow in docker slow to fast: consistent (default), cached, delegated https://docs.docker.com/docker-for-mac/osxfs-caching/ https://github.com/docker/for-mac/issues/1592 https://github.com/docker/for-mac/issues/3677 https://forums.docker.com/t/file-access-in-mounted-volumes-extremely-slow-cpu-bound/8076 still super slow... --- make.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/make.sh b/make.sh index c5212dbd65..32fca88caf 100755 --- a/make.sh +++ b/make.sh @@ -100,9 +100,9 @@ rule() { testci) ruby scripts/update_suite.rb -s -d;; travis) echo "run ./scripts/travis-ci.sh to setup ocaml" echo "mount cwd as bind: beware that cwd of host can be modified!" - docker run -it -u travis -v $(pwd):$(pwd) -w $(pwd) travisci/ci-garnet:packer-1515445631-7dfb2e1 bash + docker run -it -u travis -v $(pwd):$(pwd):delegated -w $(pwd) travisci/ci-garnet:packer-1515445631-7dfb2e1 bash # echo "mount cwd as volume: changes won't affect host's cwd." - # docker run -it -u travis -v `pwd`:/analyzer:ro -w /home/travis travisci/ci-garnet:packer-1515445631-7dfb2e1 bash -c 'cp -r /analyzer .; cd analyzer; bash' + # docker run -it -u travis -v `pwd`:/analyzer:ro:delegated -w /home/travis travisci/ci-garnet:packer-1515445631-7dfb2e1 bash -c 'cp -r /analyzer .; cd analyzer; bash' ;; unit) ocamlbuild -use-ocamlfind unittest/mainTest.native && ./mainTest.native;; server) rsync -avz --delete --exclude='/.git' --exclude='server.sh' --exclude-from="$(git ls-files --exclude-standard -oi --directory > /tmp/excludes; echo /tmp/excludes)" . serverseidl6.informatik.tu-muenchen.de:~/analyzer2