changeset 5898:18ed05625431

maint: merge release to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Sun, 19 Sep 2021 18:29:32 +0200
parents 27e0d4d3dd11 (current diff) 8c1cad878da2 (diff)
children ef9c181c46a7
files src/default-octave.mk src/release-octave.mk src/stable-octave.mk
diffstat 3 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/src/default-octave.mk	Sun Sep 19 14:39:57 2021 +0200
+++ b/src/default-octave.mk	Sun Sep 19 18:29:32 2021 +0200
@@ -182,12 +182,12 @@
       && [ "$(ENABLE_JAVA)" == "yes" ]; then \
       if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java'; \
-        $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/share/javavm/export/jni.h \
           -O $(HOST_INCDIR)/java/jni.h; \
       fi; \
       if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java/win32'; \
-        $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/windows/javavm/export/jni_md.h \
           -O $(HOST_INCDIR)/java/win32/jni_md.h; \
       fi; \
     fi
--- a/src/release-octave.mk	Sun Sep 19 14:39:57 2021 +0200
+++ b/src/release-octave.mk	Sun Sep 19 18:29:32 2021 +0200
@@ -183,12 +183,12 @@
       && [ "$(ENABLE_JAVA)" == "yes" ]; then \
       if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java'; \
-        $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/share/javavm/export/jni.h \
           -O $(HOST_INCDIR)/java/jni.h; \
       fi; \
       if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java/win32'; \
-        $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/windows/javavm/export/jni_md.h \
           -O $(HOST_INCDIR)/java/win32/jni_md.h; \
       fi; \
     fi
--- a/src/stable-octave.mk	Sun Sep 19 14:39:57 2021 +0200
+++ b/src/stable-octave.mk	Sun Sep 19 18:29:32 2021 +0200
@@ -162,12 +162,12 @@
       && [ "$(ENABLE_JAVA)" == "yes" ]; then \
       if [ ! -f $(HOST_INCDIR)/java/jni.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java'; \
-        $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/share/native/include/jni.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/share/javavm/export/jni.h \
           -O $(HOST_INCDIR)/java/jni.h; \
       fi; \
       if [ ! -f $(HOST_INCDIR)/java/win32/jni_md.h ]; then \
         mkdir -p '$(HOST_INCDIR)/java/win32'; \
-        $(WGET) -N https://raw.github.com/openjdk/jdk/master/src/java.base/windows/native/include/jni_md.h \
+        $(WGET) -N https://raw.github.com/openjdk/jdk/7b2e99178f7cf41ecd86b2ccfba38ea653e815e7/jdk/src/windows/javavm/export/jni_md.h \
           -O $(HOST_INCDIR)/java/win32/jni_md.h; \
       fi; \
     fi