diff options
author | Chris Conway <clconway@google.com> | 2015-12-01 11:32:06 -0800 |
---|---|---|
committer | Chris Conway <clconway@google.com> | 2015-12-01 11:32:06 -0800 |
commit | fd7a170d7ae9cd9136ea1de186760871bdb6bb65 (patch) | |
tree | a31227c450334a7b543525f503b2850a116c7855 /contrib | |
parent | d08ec138869fa473713192f8477920299dec2572 (diff) |
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.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/mac-build | 5 |
1 files changed, 0 insertions, 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 |