diff options
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: |