diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-02-28 07:03:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-02-28 07:03:33 +0000 |
commit | 9e164f1af5d2bd6f13eb894c8d395c7155590877 (patch) | |
tree | f5e8658db62b50b447fbc18590570501e57129d5 /src/theory/Makefile.am | |
parent | bda6ad1b93619a68006034d9a47e641ce5ab14a7 (diff) |
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.
Diffstat (limited to 'src/theory/Makefile.am')
-rw-r--r-- | src/theory/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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) |