summaryrefslogtreecommitdiff
path: root/mill
diff options
context:
space:
mode:
Diffstat (limited to 'mill')
-rwxr-xr-xmill4
1 files changed, 4 insertions, 0 deletions
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