From 9de7760cf9fd384d6bb98a7cb7b37d2a073be714 Mon Sep 17 00:00:00 2001
From: Remi Collet <fedora@famillecollet.com>
Date: Sat, 20 Oct 2012 09:16:04 +0200
Subject: MySQL Workbench 5.2.44

---
 mysql-workbench-5.2.44-antlr.patch | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 mysql-workbench-5.2.44-antlr.patch

(limited to 'mysql-workbench-5.2.44-antlr.patch')

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:
-- 
cgit