equal
deleted
inserted
replaced
1 #!/usr/bin/env sh |
1 #!/usr/bin/env sh |
2 |
2 |
3 # This is a wrapper script, that automatically download mill from GitHub release pages |
3 # This is a wrapper script, that automatically download mill from GitHub release pages |
4 # You can give the required mill version with MILL_VERSION env variable |
4 # You can give the required mill version with MILL_VERSION env variable |
5 # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION |
5 # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION |
6 DEFAULT_MILL_VERSION=0.7.3 |
6 DEFAULT_MILL_VERSION=0.9.4 |
7 |
7 |
8 set -e |
8 set -e |
9 |
9 |
10 if [ -z "$MILL_VERSION" ] ; then |
10 if [ -z "$MILL_VERSION" ] ; then |
11 if [ -f ".mill-version" ] ; then |
11 if [ -f ".mill-version" ] ; then |