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.

diff --git a/contrib/mac-build b/contrib/mac-build
index e543cf44d3bd7af9e81ddacae1247a4012477b9c..e45cd0fad27e4ecd6be7bc18c45b75294dcea76f 100755 (executable)
--- 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