diff options
| author | Tobias Roeser <le.petit.fou@web.de> | 2019-07-02 16:05:26 +0200 |
|---|---|---|
| committer | Tobias Roeser <le.petit.fou@web.de> | 2019-07-02 16:05:26 +0200 |
| commit | a4a49e90037c7acf456b62a8e65fee55a5f857c4 (patch) | |
| tree | dba969c8ed7f9c2b4c80038dfac9d317367c9bfe /ci | |
| parent | 139cd519ba1d3b53f3272783f1c8bd058ac18d6e (diff) | |
| download | mill-a4a49e90037c7acf456b62a8e65fee55a5f857c4.tar.gz mill-a4a49e90037c7acf456b62a8e65fee55a5f857c4.tar.bz2 mill-a4a49e90037c7acf456b62a8e65fee55a5f857c4.zip | |
Copy files instead of move
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/publish-local.sh | 2 | ||||
| -rwxr-xr-x | ci/test-mill-bootstrap.sh | 4 |
2 files changed, 3 insertions, 3 deletions
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 |