diff options
| author | Robby <robby@santoslab.org> | 2018-03-11 01:39:09 -0600 |
|---|---|---|
| committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-03-10 23:39:09 -0800 |
| commit | 55ee6ed4616657d308d3e7843d478e74352737ae (patch) | |
| tree | eb614e81ad09ace03599f54cadb78524611f8614 /ci/publish-local.sh | |
| parent | 95e6cb9124431a2203f48433a5d7551c542b7f56 (diff) | |
| download | mill-55ee6ed4616657d308d3e7843d478e74352737ae.tar.gz mill-55ee6ed4616657d308d3e7843d478e74352737ae.tar.bz2 mill-55ee6ed4616657d308d3e7843d478e74352737ae.zip | |
Test mill using Java 9 (in addition to Java 8) (#219)
* Test mill using Java 9 (in addition to Java 8).
* Use mill -i.
* Fixed Java 9 path.
Diffstat (limited to 'ci/publish-local.sh')
| -rwxr-xr-x | ci/publish-local.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/publish-local.sh b/ci/publish-local.sh index fc9e06b9..c137340d 100755 --- a/ci/publish-local.sh +++ b/ci/publish-local.sh @@ -2,6 +2,6 @@ set -eux -mill all __.publishLocal release +mill -i all __.publishLocal release mv out/release/dest/mill ~/mill-release |