From c58bfbd2ee05adbed8d2c9fd36920ea2d15d10cd Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 16 Aug 2013 23:36:18 +0200 Subject: [PATCH] * src/kripkeparse/Makefile.am: Add missing include directory. --- src/kripkeparse/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kripkeparse/Makefile.am b/src/kripkeparse/Makefile.am index 8b5d531e7..c2e7e11c6 100644 --- a/src/kripkeparse/Makefile.am +++ b/src/kripkeparse/Makefile.am @@ -16,7 +16,7 @@ ## You should have received a copy of the GNU General Public License ## along with this program. If not, see . -AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS) -DYY_NO_INPUT +AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS) -DYY_NO_INPUT # Disable -Werror because too many versions of flex yield warnings. AM_CXXFLAGS = $(WARNING_CXXFLAGS:-Werror=)