From 9e164f1af5d2bd6f13eb894c8d395c7155590877 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 28 Feb 2011 07:03:33 +0000 Subject: Review of mktheorytraits, mkrewriter, and recent changes to other mk* scripts. Minor changes only, correcting some documentation and fixing some warnings that were being issued about functions not existing. --- src/theory/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/Makefile.am') diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index 142aef004..a9ff5376d 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -65,7 +65,7 @@ rewriter_tables.h: rewriter_tables_template.h mkrewriter @top_builddir@/src/theo theory_traits.h: theory_traits_template.h mktheorytraits @top_builddir@/src/theory/.subdirs @top_srcdir@/src/theory/*/kinds $(AM_V_at)chmod +x @srcdir@/mktheorytraits $(AM_V_at)$(am__mv) $@ $@~ 2>/dev/null || true - $(AM_V_GEN)(@srcdir@//mktheorytraits \ + $(AM_V_GEN)(@srcdir@/mktheorytraits \ $< \ `cat @top_builddir@/src/theory/.subdirs` \ > $@) || (rm -f $@ && exit 1) -- cgit v1.2.3