chiark / gitweb /
Update JDK version in build-sh to OpenJDK 8
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:08:38 +0000 (11:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:02:00 +0000 (17:02 +0100)
commitc1533c5624ae6b00dbd7cd91fcb7702db2a096df
tree45debaf779d4ee69a69683a6d9fee849300b9325
parent7b5460c64b9113c87fdd93bc0fbac3762b30f6dd
Update JDK version in build-sh to OpenJDK 8

I don't have a copy of 6 any more.  I'll have to rebuild with 8.
build-sh