From: Tim King <taking@cs.nyu.edu>
Date: Tue, 27 Oct 2015 06:59:54 +0000 (-0400)
Subject: Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distc... 
X-Git-Tag: cvc5-1.0.0~6182
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b455f5cde8b84b7951d309604b75a76afd8b8bfa;p=cvc5.git

Adding the new mkdirs script to EXTRA_DIST. This should fix the failing nightly distcheck.
---

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 \