From 4e62744f9c95906c69696ed0a0d46269ecb83381 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Wed, 26 May 2010 20:54:40 +0000
Subject: [PATCH] Fixing my-configure

---
 contrib/my-configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 $*
-- 
2.30.2