From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 8 Jul 2017 00:43:07 +0000 (-0700)
Subject: Disable tarball signing for now.
X-Git-Tag: cvc5-1.0.0~5734
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9cfc20aecda286c3cd645d98226678f56baccc1;p=cvc5.git

Disable tarball signing for now.
---

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..."