From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 26 May 2010 20:54:40 +0000 (+0000)
Subject: Fixing my-configure
X-Git-Tag: cvc5-1.0.0~9045
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4e62744f9c95906c69696ed0a0d46269ecb83381;p=cvc5.git

Fixing my-configure
---

diff --git a/contrib/my-configure b/contrib/my-configure
index af5cb01f7..dce46fc67 100755
--- a/contrib/my-configure
+++ b/contrib/my-configure
@@ -6,4 +6,4 @@ if [ -e .cvc4_config ]; then
   CONFIG_OPTIONS=`cat .cvc4_config`
 fi
 
-echo ./configure $CONFIG_OPTIONS $*
+./configure $CONFIG_OPTIONS $*