From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 31 Oct 2011 21:25:07 +0000 (+0000)
Subject: another make distclean fix
X-Git-Tag: cvc5-1.0.0~8397
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9082ab783d0c11e369b3f3f341d4da3f4300c6f;p=cvc5.git

another make distclean fix
---

diff --git a/Makefile b/Makefile
index 8cf0fbcc2..5f1b42f0e 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,7 @@ distclean maintainerclean:
 		$(MAKE) $@; \
 	fi
 	test -z "$(builddir)" || rm -fr "$(builddir)"
+	rm -f config.reconfig
 
 # synonyms for "check"
 .PHONY: test