diff options
Diffstat (limited to 'debian/patches/libjava-disable-plugin.diff')
| -rw-r--r-- | debian/patches/libjava-disable-plugin.diff | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/debian/patches/libjava-disable-plugin.diff b/debian/patches/libjava-disable-plugin.diff deleted file mode 100644 index 1c39fd1..0000000 --- a/debian/patches/libjava-disable-plugin.diff +++ /dev/null @@ -1,15 +0,0 @@ -# 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], |