diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 07:50:56 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 07:50:56 +0800 |
commit | de1e0e4ae3ef0b65075c9896ea25a9b23e2376ee (patch) | |
tree | 86f7977adb3d390e40a64ee9863ddbf78df369c8 | |
parent | 858b675ed74e3d26a11b0a06db45db4c1c12aabe (diff) | |
download | mill-de1e0e4ae3ef0b65075c9896ea25a9b23e2376ee.tar.gz mill-de1e0e4ae3ef0b65075c9896ea25a9b23e2376ee.tar.bz2 mill-de1e0e4ae3ef0b65075c9896ea25a9b23e2376ee.zip |
fix
-rwxr-xr-x | ci/test-mill-bootstrap.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ci/test-mill-bootstrap.sh b/ci/test-mill-bootstrap.sh index f87f749e..cb366732 100755 --- a/ci/test-mill-bootstrap.sh +++ b/ci/test-mill-bootstrap.sh @@ -6,8 +6,8 @@ set -eux git clean -xdf # First build -./mill -i all __.publishLocal release -cp out/release/dest/mill ~/mill-1 +./mill -i all __.publishLocal launcher +cp out/launcher/dest/mill ~/mill-1 # Clean up git clean -xdf @@ -18,8 +18,8 @@ rm -rf ~/.mill echo "Build 2" > info.txt && git add info.txt && git commit -m "Add info.txt" # Second build -~/mill-1 -i all __.publishLocal release -cp out/release/dest/mill ~/mill-2 +~/mill-1 -i all __.publishLocal launcher +cp out/launcher/dest/mill ~/mill-2 # Clean up git clean -xdf |