projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 08ec144)
Disable tarball signing for now.
authorMathias Preiner <mathias.preiner@gmail.com>
Sat, 8 Jul 2017 00:43:07 +0000 (17:43 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 10 Jul 2017 16:51:48 +0000 (09:51 -0700)
contrib/cut-release patch | blob | history

diff --git a/contrib/cut-release b/contrib/cut-release
index 995196a8835a2a4fd9210bebb041e516693cc4e5..224c3b0d9dc5c98724e537714176adee7910b6e7 100755 (executable)
--- 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..."