Last change
on this file was
15204,
checked in by Mark Evenson, 5 years ago
|
ci: another try at getting the Java environment initialized
|
File size:
316 bytes
|
Line | |
---|
1 | #!/usr/bin/env bash |
---|
2 | DIR="$(cd -P "$(dirname "${BASH_SOURCE[0]}")" && pwd)" |
---|
3 | |
---|
4 | target=~/.jenv |
---|
5 | |
---|
6 | if [[ ! -r "${target}" ]]; then |
---|
7 | git clone https://github.com/jenv/jenv.git "${target}" |
---|
8 | fi |
---|
9 | |
---|
10 | . ${DIR}/ensure-jenv-is-present.bash |
---|
11 | |
---|
12 | jenv enable-plugin ant |
---|
13 | jenv enable-plugin maven |
---|
14 | jenv enable-plugin export |
---|
15 | |
---|
16 | jenv doctor |
---|
17 | |
---|
18 | |
---|
Note: See
TracBrowser
for help on using the repository browser.