chiark
/
gitweb
/
~yarrgweb
/
jarrg-ian.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7b5460c
)
Update JDK version in build-sh to OpenJDK 8
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:08:38 +0000
(11:08 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:02:00 +0000
(17:02 +0100)
I don't have a copy of 6 any more. I'll have to rebuild with 8.
build-sh
patch
|
blob
|
history
diff --git
a/build-sh
b/build-sh
index 9bef7b3c7d78cd7b9459bc9023f999f6195ef864..887f236df8b671f2893d1618acd2d8bf32e9aeec 100755
(executable)
--- a/
build-sh
+++ b/
build-sh
@@
-10,7
+10,7
@@
case "$#.$1" in
*) echo >&2 'no arguments allowed'; exit 1;;
esac
-: ${JAVA_HOME:=/usr/lib/jvm/java-
6-sun
}
+: ${JAVA_HOME:=/usr/lib/jvm/java-
8-openjdk-amd64
}
export JAVA_HOME
revision=`git describe --always || echo '(unknown revision)'`