diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-07 17:43:07 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-10 09:51:48 -0700 |
| commit | a9cfc20aecda286c3cd645d98226678f56baccc1 (patch) | |
| tree | c2cf81283f2897c871e0565113a141ea402132a7 /contrib/cut-release | |
| parent | 08ec144a1f858f8275253b4a50a0d45998cddb65 (diff) | |
Disable tarball signing for now.
Diffstat (limited to 'contrib/cut-release')
| -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..." |