diff options
author | Remi Collet <fedora@famillecollet.com> | 2012-10-20 09:16:04 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2012-10-20 09:16:04 +0200 |
commit | 9de7760cf9fd384d6bb98a7cb7b37d2a073be714 (patch) | |
tree | 052292e31541799d60f757506310721fa5f0cd44 /mysql-workbench-5.2.44-antlr.patch | |
parent | 1089dcc00f7ec88116d6d7a3042289c7aa5eba8e (diff) |
MySQL Workbench 5.2.44
Diffstat (limited to 'mysql-workbench-5.2.44-antlr.patch')
-rw-r--r-- | mysql-workbench-5.2.44-antlr.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/mysql-workbench-5.2.44-antlr.patch b/mysql-workbench-5.2.44-antlr.patch new file mode 100644 index 0000000..3840475 --- /dev/null +++ b/mysql-workbench-5.2.44-antlr.patch @@ -0,0 +1,13 @@ +--- mysql-workbench-gpl-5.2.44-src/ext/Makefile.am.antlr 2012-10-20 08:35:10.000000000 +0200 ++++ mysql-workbench-gpl-5.2.44-src/ext/Makefile.am 2012-10-20 08:35:48.447823166 +0200 +@@ -1,9 +1,5 @@ + +-if BUILD_ANTLR_RUNTIME +-antlr_dirs=antlr-runtime +-endif +- +-SUBDIRS=scintilla/gtk $(antlr_dirs) ++SUBDIRS=scintilla/gtk + + if BUNDLE_UTILITIES + all-am: |