diff options
| author | Andrew V. Jones <andrew.jones@vector.com> | 2020-02-03 07:16:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-02 23:16:20 -0800 |
| commit | bdb685d928d1f4bb570acdc6c8427217a6b6cbe3 (patch) | |
| tree | c4e1fa03c402e88c860d281daca0358748ff8f6c /contrib | |
| parent | 7583e034bbd991877b634d50249bbccfd9e3c763 (diff) | |
Renaming '--bsd' to '--no-gpl' (#3609)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/cut-release | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/cut-release b/contrib/cut-release index 224c3b0d9..f13d22298 100755 --- a/contrib/cut-release +++ b/contrib/cut-release @@ -249,11 +249,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-portfolio --bsd '"$configantlr"'; \ + ../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --no-gpl '"$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"'; \ + ./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --no-gpl '"$configantlr"'; \ make check '"$makeargs"'; \ make distcheck '"$makeargs"'; \ '; then |