|
Last change
on this file was
15783,
checked in by Mark Evenson, 5 weeks ago
|
|
ci: update openjdk installations to latest
Stop depending on the GitHub? installed CI Java. It used to be that
with GitHub? actions/setup-java@v1 we could Ant installed but use jenv
to use our "own" openjdk to run it. Something changed, debugging the
GitHub? CI via multiple pull requests is tedious, so just try to use
GitHub? for any dependencies beyond bash.
Robustify syntax for specifying operating system and architecture to
install-openjdk.
|
|
File size:
219 bytes
|
| Line | |
|---|
| 1 | #!/usr/bin/env bash |
|---|
| 2 | |
|---|
| 3 | export JENV_ROOT=$HOME/.jenv |
|---|
| 4 | if [[ $(echo $PATH | grep -c .jenv) -eq 0 ]]; then |
|---|
| 5 | export PATH="$JENV_ROOT/bin:$PATH" |
|---|
| 6 | fi |
|---|
| 7 | |
|---|
| 8 | eval "$(jenv init -)" |
|---|
| 9 | |
|---|
| 10 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
