diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-06 16:24:41 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-06 16:24:41 -0700 |
commit | 6b7841227b0a4bdce72c848b170aac8230cf4cba (patch) | |
tree | ec538d4cd68aad048154202003d9e806bb6e8a4d | |
parent | 9aeedc36448513517a16c81ac15ef8bc0c68cb9f (diff) |
Fix passing antlr arguments to configure in contrib/cut-release
Also fixes passing of makeargs.
-rwxr-xr-x | contrib/cut-release | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/contrib/cut-release b/contrib/cut-release index f2d09816d..995196a88 100755 --- 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 |