diff options
| author | Remi Collet <fedora@famillecollet.com> | 2012-09-13 19:47:32 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2012-09-13 19:47:32 +0200 |
| commit | 1089dcc00f7ec88116d6d7a3042289c7aa5eba8e (patch) | |
| tree | f3ba1fcee95e40eee080eae1a075f78700df59a9 /mysql-workbench-5.2.43-antlr.patch | |
| parent | 581e89c0e3f2f8d57d2dac4ffb3baf17f9218601 (diff) | |
mysql-workbench 5.2.43
Diffstat (limited to 'mysql-workbench-5.2.43-antlr.patch')
| -rw-r--r-- | mysql-workbench-5.2.43-antlr.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/mysql-workbench-5.2.43-antlr.patch b/mysql-workbench-5.2.43-antlr.patch new file mode 100644 index 0000000..7b05d46 --- /dev/null +++ b/mysql-workbench-5.2.43-antlr.patch @@ -0,0 +1,15 @@ +diff -up mysql-workbench-gpl-5.2.43-src/configure.in.antlr mysql-workbench-gpl-5.2.43-src/configure.in +diff -up mysql-workbench-gpl-5.2.43-src/ext/Makefile.am.antlr mysql-workbench-gpl-5.2.43-src/ext/Makefile.am +--- mysql-workbench-gpl-5.2.43-src/ext/Makefile.am.antlr 2012-09-13 18:16:37.000000000 +0200 ++++ mysql-workbench-gpl-5.2.43-src/ext/Makefile.am 2012-09-13 18:17:02.908892609 +0200 +@@ -1,9 +1,5 @@ + +-if BUILD_ANTLR_RUNTIME +-antlr_dirs=antlr-runtime +-endif +- +-SUBDIRS=scintilla/gtk vsqlite++ $(antlr_dirs) ++SUBDIRS=scintilla/gtk vsqlite++ + + if BUNDLE_UTILITIES + all-am: |