Fix cut-release script for new configure rules.

diff --git a/contrib/cut-release b/contrib/cut-release
index ed39da6e4968869e27961f4298849bd3acd25638..7f14a8d7e59ca3aa568930f1c0c8554219d64c54 100755 (executable)
--- a/contrib/cut-release
+++ b/contrib/cut-release
@@ -183,11 +183,11 @@ 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-readline --with-portfolio; \
+       ../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd; \
        make dist "$@"; \
        tar xf "cvc4-$version.tar.gz"; \
        cd "cvc4-$version"; \
-       ./configure production-staticbinary --disable-shared --enable-unit-testing --with-readline --with-portfolio; \
+       ./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd; \
        make check "$@"; \
        make distcheck "$@"; \
 '; then