Installed Java under duress.
This commit is contained in:
parent
13547ac967
commit
34c4dea798
1 changed files with 1 additions and 0 deletions
|
@ -34,4 +34,5 @@ fi
|
||||||
cd tla-bin
|
cd tla-bin
|
||||||
./download_or_update_tla.sh
|
./download_or_update_tla.sh
|
||||||
sudo ./install.sh /usr/local
|
sudo ./install.sh /usr/local
|
||||||
|
sudo apt install -y openjdk-17-jre
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue