diff options
-rwxr-xr-x | contrib/get-win-dependencies | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies index efa0729e9..2342a09ff 100755 --- a/contrib/get-win-dependencies +++ b/contrib/get-win-dependencies @@ -74,7 +74,6 @@ echo MACHINE_TYPE="x86_64" ANTLR_CONFIGURE_ARGS="--host=$HOST" contrib/get-antlr-3.4 | grep -v 'Now configure CVC4 with' | grep -v '\./configure --with-antlr-dir=' [ ${PIPESTATUS[0]} -eq 0 ] || reporterror echo -exit 0 echo ============================================================================= echo echo "Setting up GMP $GMPVERSION..." |