diff options
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) |