diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 09:22:14 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 09:22:14 +0800 |
commit | 4860ed764066c17f4cfbcf6d7ffa2fef24e69087 (patch) | |
tree | df0fa859af63e948348a377b3eaacec8f440ba4c /mill | |
parent | 7f30eccd7633d6ba4e4ec59f0f83a8f06de15113 (diff) | |
download | mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.tar.gz mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.tar.bz2 mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.zip |
tweak launcher script to fix scraping of mill version
Diffstat (limited to 'mill')
-rwxr-xr-x | mill | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,7 @@ if [ -z "$MILL_VERSION" ] ; then if [ -f ".mill-version" ] ; then MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)" elif [ -f "mill" ] && [ "$BASH_SOURCE" != "mill" ] ; then - MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | cut -d= -f2) + MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | head -n 1 | cut -d= -f2) else MILL_VERSION=$DEFAULT_MILL_VERSION fi |