From 42156b5190f4fa150e1fab6777eb81e69d4db8c9 Mon Sep 17 00:00:00 2001 From: Igor Pashev Date: Sat, 13 May 2017 13:54:49 +0300 Subject: Imported gcc-6 (6.3.0-17) --- debian/patches/libjava-disable-plugin.diff | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 debian/patches/libjava-disable-plugin.diff (limited to 'debian/patches/libjava-disable-plugin.diff') diff --git a/debian/patches/libjava-disable-plugin.diff b/debian/patches/libjava-disable-plugin.diff new file mode 100644 index 0000000..1c39fd1 --- /dev/null +++ b/debian/patches/libjava-disable-plugin.diff @@ -0,0 +1,15 @@ +# DP: Don't build the gcjwebplugin, even when configured with --enable-plugin + +Index: b/src/libjava/configure.ac +=================================================================== +--- a/src/libjava/configure.ac ++++ b/src/libjava/configure.ac +@@ -70,6 +70,8 @@ AC_ARG_ENABLE(browser-plugin, + esac], + [browser_plugin_enabled=no] + ) ++# FIXME: don't build the plugin, this option collides with GCC plugin support ++plugin_enabled=no + + AC_ARG_ENABLE(gconf-peer, + AS_HELP_STRING([--enable-gconf-peer], -- cgit v1.2.3