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 /src/Makefile.am | |
| parent | 0f66dd16f35eac64149919f0f4048b422345c5eb (diff) | |
Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distcheck.
Diffstat (limited to 'src/Makefile.am')
| -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 \ |