tweak launcher script to fix scraping of mill version

com-lihaoyi · Jul 8, 2019 · 4860ed7 · 4860ed7
1 parent 7f30ecc
commit 4860ed7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.mill-version b/.mill-version
diff --git a/mill b/mill
@@ -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