From a9cfc20aecda286c3cd645d98226678f56baccc1 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Fri, 7 Jul 2017 17:43:07 -0700 Subject: [PATCH] Disable tarball signing for now. --- contrib/cut-release | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/contrib/cut-release b/contrib/cut-release index 995196a88..224c3b0d9 100755 --- a/contrib/cut-release +++ b/contrib/cut-release @@ -281,10 +281,10 @@ release-$version/cvc4-$version/builds/src/main/cvc4 --show-config echo isthatright -echo -echo "Signing tarball..." -cp -p "release-$version/cvc4-$version.tar.gz" . -gpg -b --armor "cvc4-$version.tar.gz" +#echo +#echo "Signing tarball..." +#cp -p "release-$version/cvc4-$version.tar.gz" . +#gpg -b --armor "cvc4-$version.tar.gz" #echo #echo "Signing cvc4 binary..." -- 2.30.2