From a9cfc20aecda286c3cd645d98226678f56baccc1 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 7 Jul 2017 17:43:07 -0700
Subject: Disable tarball signing for now.

---
 contrib/cut-release | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'contrib/cut-release')

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..."
-- 
cgit v1.2.3