From a5df93270d53400687d64822a9f2a7e9412a55f5 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 2 Jul 2014 15:22:22 -0400 Subject: [PATCH] Fix cut-release script for new configure rules. --- contrib/cut-release | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/cut-release b/contrib/cut-release index ed39da6e4..7f14a8d7e 100755 --- 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 -- 2.30.2