From 4860ed764066c17f4cfbcf6d7ffa2fef24e69087 Mon Sep 17 00:00:00 2001
From: Li Haoyi <haoyi.sg@gmail.com>
Date: Mon, 8 Jul 2019 09:22:14 +0800
Subject: tweak launcher script to fix scraping of mill version

---
 .mill-version | 1 -
 mill          | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 .mill-version

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
diff --git a/mill b/mill
index e4b3424f..ab5011be 100755
--- 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
-- 
cgit v1.2.3