diff options
| author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 01:28:14 +0800 |
|---|---|---|
| committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 01:28:14 +0800 |
| commit | 05e4309be03fb2e4144ccafa03160609e2ed0278 (patch) | |
| tree | 8ed90db7907ca774ce95d6f9987a346d0582f743 /mill | |
| parent | 79a63fb3f12e9fc856e22cdc5eba9095ad882051 (diff) | |
| download | mill-05e4309be03fb2e4144ccafa03160609e2ed0278.tar.gz mill-05e4309be03fb2e4144ccafa03160609e2ed0278.tar.bz2 mill-05e4309be03fb2e4144ccafa03160609e2ed0278.zip | |
.
Diffstat (limited to 'mill')
| -rwxr-xr-x | mill | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -7,6 +7,10 @@ DEFAULT_MILL_VERSION=0.4.2 set -e +if [ -f ".mill-version" ] ; then + MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)" +fi + if [ -z "$MILL_VERSION" ] ; then MILL_VERSION=$DEFAULT_MILL_VERSION fi |