diff options
author | Tim King <taking@cs.nyu.edu> | 2015-10-27 02:59:54 -0400 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2015-10-27 02:59:54 -0400 |
commit | b455f5cde8b84b7951d309604b75a76afd8b8bfa (patch) | |
tree | 030899ac175fee965313748fd7f72b7ed5957a59 | |
parent | 0f66dd16f35eac64149919f0f4048b422345c5eb (diff) |
Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distcheck.
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 9502afa9c..67d405765 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -489,6 +489,7 @@ EXTRA_DIST = \ include/cvc4_public.h \ include/cvc4.h \ cvc4.i \ + mksubdirs \ Makefile.theories \ smt/smt_options_template.cpp \ smt/modal_exception.i \ |