summaryrefslogtreecommitdiff
path: root/mill
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2019-07-01 06:22:59 -0700
committerLi Haoyi <haoyi.sg@gmail.com>2019-07-01 06:22:59 -0700
commit78e71785bd5112eec6a66d983717ffde798f438e (patch)
tree217d562cdafd84e955f864f3231c61d910d90eb9 /mill
parentd2af62e6c35583fafa2f39e9c204fad6a21b38ab (diff)
downloadmill-78e71785bd5112eec6a66d983717ffde798f438e.tar.gz
mill-78e71785bd5112eec6a66d983717ffde798f438e.tar.bz2
mill-78e71785bd5112eec6a66d983717ffde798f438e.zip
scrape ./mill wrapper script for mill version, instead of exec-ing it
Diffstat (limited to 'mill')
-rwxr-xr-xmill1
1 files changed, 0 insertions, 1 deletions
diff --git a/mill b/mill
index 74f1d62f..abd5a6bf 100755
--- a/mill
+++ b/mill
@@ -20,7 +20,6 @@ if [ ! -x "$MILL_EXEC_PATH" ] ; then
MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION"
curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
chmod +x "$DOWNLOAD_FILE"
- mkdir -p "$MILL_DOWNLOAD_PATH"
mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH"
unset DOWNLOAD_FILE
unset MILL_DOWNLOAD_URL