diff options
| author | doko <doko@6ca36cf4-e1d1-0310-8c6f-e303bb2178ca> | 2012-11-17 22:56:23 +0000 |
|---|---|---|
| committer | doko <doko@6ca36cf4-e1d1-0310-8c6f-e303bb2178ca> | 2012-11-17 22:56:23 +0000 |
| commit | 9ce75680dbf209d1adcfbaceaa9080221aa84a62 (patch) | |
| tree | 3ec4c701802d1254f7f0ed7f94ce74abc15cfc5b /debian/patches/libjava-disable-plugin.diff | |
| download | gcc-48-9ce75680dbf209d1adcfbaceaa9080221aa84a62.tar.gz | |
- start 4.8
git-svn-id: svn://svn.debian.org/svn/gcccvs/branches/sid/gcc-4.8@6242 6ca36cf4-e1d1-0310-8c6f-e303bb2178ca
Diffstat (limited to 'debian/patches/libjava-disable-plugin.diff')
| -rw-r--r-- | debian/patches/libjava-disable-plugin.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/patches/libjava-disable-plugin.diff b/debian/patches/libjava-disable-plugin.diff new file mode 100644 index 0000000..7dbcaa6 --- /dev/null +++ b/debian/patches/libjava-disable-plugin.diff @@ -0,0 +1,13 @@ +# DP: Don't build the gcjwebplugin, even when configured with --enable-plugin + +--- a/src/libjava/configure.ac ++++ b/src/libjava/configure.ac +@@ -65,6 +65,8 @@ + 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], |