diff options
Diffstat (limited to 'ci/test-mill-bootstrap.sh')
-rwxr-xr-x | ci/test-mill-bootstrap.sh | 4 |
1 files changed, 2 insertions, 2 deletions
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 |