From 73fd355fd1a9f6cacfc3170d29e29fccc94ab539 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 17 Dec 2009 00:02:12 +0000 Subject: support nonstandard, unconfigured builds (e.g., "./configure debug" followed by "make production ASSERTIONS=1") --- src/parser/cvc/Makefile.in | 1 + 1 file changed, 1 insertion(+) (limited to 'src/parser/cvc') diff --git a/src/parser/cvc/Makefile.in b/src/parser/cvc/Makefile.in index 57db98f0b..3fd1701c8 100644 --- a/src/parser/cvc/Makefile.in +++ b/src/parser/cvc/Makefile.in @@ -202,6 +202,7 @@ localedir = @localedir@ localstatedir = @localstatedir@ lt_ECHO = @lt_ECHO@ mandir = @mandir@ +mk_include = @mk_include@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ -- cgit v1.2.3