diff options
| -rwxr-xr-x | contrib/cut-release | 8 |
1 files 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..." |