comparison configure.ac @ 5897:8c1cad878da2 release

Download Java headers from GitHub. * src/default-octave.mk, src/release-octave.mk, src/stable-octave.mk: The OpenJDK Mercurial server became unreliable. Download Java headers for jdk7-b146 from GitHub servers instead.
author Markus Mützel <markus.muetzel@gmx.de>
date Sun, 19 Sep 2021 18:04:27 +0200
parents 78a98ff1efd8
children 7c0066684448
comparison
equal deleted inserted replaced
5895:2db7f803d55d 5897:8c1cad878da2