diff options
Diffstat (limited to 'mill')
-rwxr-xr-x | mill | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |