From a4a49e90037c7acf456b62a8e65fee55a5f857c4 Mon Sep 17 00:00:00 2001
From: Tobias Roeser <le.petit.fou@web.de>
Date: Tue, 2 Jul 2019 16:05:26 +0200
Subject: Copy files instead of move

---
 ci/publish-local.sh       | 2 +-
 ci/test-mill-bootstrap.sh | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'ci')

diff --git a/ci/publish-local.sh b/ci/publish-local.sh
index 6342125e..f72276e1 100755
--- a/ci/publish-local.sh
+++ b/ci/publish-local.sh
@@ -4,4 +4,4 @@ set -eux
 
 ./mill -i all __.publishLocal executable
 
-mv out/executable/dest/mill ~/mill-release
+cp out/executable/dest/mill ~/mill-release
diff --git a/ci/test-mill-bootstrap.sh b/ci/test-mill-bootstrap.sh
index f5100663..f87f749e 100755
--- a/ci/test-mill-bootstrap.sh
+++ b/ci/test-mill-bootstrap.sh
@@ -7,7 +7,7 @@ git clean -xdf
 
 # First build
 ./mill -i all __.publishLocal release
-mv out/release/dest/mill ~/mill-1
+cp out/release/dest/mill ~/mill-1
 
 # Clean up
 git clean -xdf
@@ -19,7 +19,7 @@ echo "Build 2" > info.txt && git add info.txt && git commit -m "Add info.txt"
 
 # Second build
 ~/mill-1 -i all __.publishLocal release
-mv out/release/dest/mill ~/mill-2
+cp out/release/dest/mill ~/mill-2
 
 # Clean up
 git clean -xdf
-- 
cgit v1.2.3