comparison src/of-fl-core.mk @ 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 7d1e45c2f175
children
comparison
equal deleted inserted replaced
5895:2db7f803d55d 5897:8c1cad878da2