Fix passing antlr arguments to configure in contrib/cut-release

Also fixes passing of makeargs.

diff --git a/contrib/cut-release b/contrib/cut-release
index f2d09816df3c15e9da8fa4eea5711cdc8603ee71..995196a8835a2a4fd9210bebb041e516693cc4e5 100755 (executable)
--- a/contrib/cut-release
+++ b/contrib/cut-release
@@ -249,13 +249,13 @@ if ! $SHELL -c '\
        ./autogen.sh || echo "autoconf failed; does library_versions have something to match $version?"; \
        mkdir "release-$version"; \
        cd "release-$version"; \
-       ../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '$configantlr'; \
-       make dist '$makeargs'; \
+       ../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '"$configantlr"'; \
+       make dist '"$makeargs"'; \
        tar xf "cvc4-$version.tar.gz"; \
        cd "cvc4-$version"; \
-       ./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '$configantlr'; \
-       make check '$makeargs'; \
-       make distcheck '$makeargs'; \
+       ./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '"$configantlr"'; \
+       make check '"$makeargs"'; \
+       make distcheck '"$makeargs"'; \
 '; then
   exit 1
 fi