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-vsqlite.patch | |
parent | 1089dcc00f7ec88116d6d7a3042289c7aa5eba8e (diff) |
MySQL Workbench 5.2.44
Diffstat (limited to 'mysql-workbench-5.2.44-vsqlite.patch')
-rw-r--r-- | mysql-workbench-5.2.44-vsqlite.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/mysql-workbench-5.2.44-vsqlite.patch b/mysql-workbench-5.2.44-vsqlite.patch new file mode 100644 index 0000000..bd98da0 --- /dev/null +++ b/mysql-workbench-5.2.44-vsqlite.patch @@ -0,0 +1,22 @@ +--- mysql-workbench-gpl-5.2.44-src/ext/Makefile.am.orig 2012-10-20 08:30:57.754850970 +0200 ++++ mysql-workbench-gpl-5.2.44-src/ext/Makefile.am 2012-10-20 08:31:19.548923647 +0200 +@@ -3,7 +3,7 @@ + antlr_dirs=antlr-runtime + endif + +-SUBDIRS=scintilla/gtk vsqlite++ $(antlr_dirs) ++SUBDIRS=scintilla/gtk $(antlr_dirs) + + if BUNDLE_UTILITIES + all-am: +--- mysql-workbench-gpl-5.2.44-src/configure.in.orig 2012-10-20 08:38:28.584365925 +0200 ++++ mysql-workbench-gpl-5.2.44-src/configure.in 2012-10-20 08:38:50.359439239 +0200 +@@ -487,8 +487,6 @@ + res/sqlidedata/Makefile + ext/Makefile + ext/scintilla/gtk/Makefile +-ext/vsqlite++/Makefile +-ext/vsqlite++/src/sqlite/Makefile + backend/Makefile + backend/wbpublic/Makefile + backend/wbprivate/Makefile |