From 05e4309be03fb2e4144ccafa03160609e2ed0278 Mon Sep 17 00:00:00 2001
From: Li Haoyi <haoyi.sg@gmail.com>
Date: Mon, 8 Jul 2019 01:28:14 +0800
Subject: .

---
 mill | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'mill')

diff --git a/mill b/mill
index abd5a6bf..a9d2a29f 100755
--- a/mill
+++ b/mill
@@ -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
-- 
cgit v1.2.3