diff options
Diffstat (limited to 'gnome-extra/libgda/files/libgda-5.2.4-jre18.patch')
-rw-r--r-- | gnome-extra/libgda/files/libgda-5.2.4-jre18.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gnome-extra/libgda/files/libgda-5.2.4-jre18.patch b/gnome-extra/libgda/files/libgda-5.2.4-jre18.patch deleted file mode 100644 index f66fa8f95846..000000000000 --- a/gnome-extra/libgda/files/libgda-5.2.4-jre18.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- libgda-5.2.2/configure.orig 2014-05-17 14:58:33.206028742 +0200 -+++ libgda-5.2.2/configure 2014-05-17 14:58:45.937790443 +0200 -@@ -23200,6 +23259,11 @@ - JTYPE="Sun JRE 1.7" - JFLAGS="-Xlint:unchecked -Xlint:deprecation" - ;; -+ JRE1.8.*) -+ try_java=true -+ JTYPE="Sun JRE 1.8" -+ JFLAGS="-Xlint:unchecked -Xlint:deprecation" -+ ;; - JREgcj-4*) - try_java=true - JTYPE="GCJ" |