diff options
-rw-r--r-- | .mill-version | 1 | ||||
-rwxr-xr-x | mill | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/.mill-version b/.mill-version deleted file mode 100644 index 2b7c5ae0..00000000 --- a/.mill-version +++ /dev/null @@ -1 +0,0 @@ -0.4.2 @@ -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 |