From fd7a170d7ae9cd9136ea1de186760871bdb6bb65 Mon Sep 17 00:00:00 2001
From: Chris Conway <clconway@google.com>
Date: Tue, 1 Dec 2015 11:32:06 -0800
Subject: [PATCH] Reverts addition of autogen.sh to mac-build script.

The file autogen.sh isn't present in dist tarballs so this will
break some users.
---
 contrib/mac-build | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/contrib/mac-build b/contrib/mac-build
index e543cf44d..e45cd0fad 100755
--- a/contrib/mac-build
+++ b/contrib/mac-build
@@ -44,11 +44,6 @@ fi
 echo
 echo =============================================================================
 echo
-echo "running: ./autogen.sh"
-./autogen.sh || reporterror
-echo
-echo =============================================================================
-echo
 contrib/get-antlr-3.4 | grep -v 'Now configure CVC4 with' | grep -v '\./configure --with-antlr-dir='
 [ ${PIPESTATUS[0]} -eq 0 ] || reporterror
 echo
-- 
2.30.2