diff options
Diffstat (limited to 'databases/mysql-workbench52/files/patch-library__forms__Makefile.am')
| -rw-r--r-- | databases/mysql-workbench52/files/patch-library__forms__Makefile.am | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/mysql-workbench52/files/patch-library__forms__Makefile.am b/databases/mysql-workbench52/files/patch-library__forms__Makefile.am new file mode 100644 index 000000000000..ce4d2c2d7b4d --- /dev/null +++ b/databases/mysql-workbench52/files/patch-library__forms__Makefile.am @@ -0,0 +1,11 @@ +--- library/forms/Makefile.am.orig ++++ library/forms/Makefile.am +@@ -91,7 +91,7 @@ + -I$(top_srcdir)/ext/vsqlite\ + -I$(top_srcdir)/library/\ + -I$(top_srcdir)/ext\ +--I$(top_srcdir)/ext/tinyxml\ ++@TINYXML_CFLAGS@\ + -I$(top_srcdir)/ext/scintilla/include + + |