diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-07-04 02:00:42 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-07-04 02:00:42 +0000 |
commit | cc726b5080f8926a3cb96a1b9d1098ad8725ab86 (patch) | |
tree | e27572b69cefa5cbc2addb6e19c0c5a13e402746 /src/theory/Makefile.subdirs | |
parent | 33f1138d8ab09bf133b945647d9239befe297d5e (diff) |
make dist && make distcheck functional, other fixes
Diffstat (limited to 'src/theory/Makefile.subdirs')
-rw-r--r-- | src/theory/Makefile.subdirs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/Makefile.subdirs b/src/theory/Makefile.subdirs index 0dfba2449..eafb350ae 100644 --- a/src/theory/Makefile.subdirs +++ b/src/theory/Makefile.subdirs @@ -4,3 +4,4 @@ $(top_builddir)/src/theory/.subdirs: $(top_srcdir)/src/theory/Makefile.am echo " GEN " $@; \ $(am__mv) $(top_builddir)/src/theory/.subdirs.tmp $(top_builddir)/src/theory/.subdirs; \ fi + |