CI: changed filename in release script

This commit is contained in:
Adriaan de Groot 2021-10-18 15:51:05 +02:00
parent 2faa791de4
commit d972dab9b7

View File

@ -79,8 +79,8 @@ KEY_ID="CFDDC96F12B1915C"
# Try to make gpg cache the signing key, so we can leave the process
# to run and sign.
rm -f CHANGES.gpg
gpg -s -u $KEY_ID CHANGES
rm -f CMakeLists.txt.gpg
gpg -s -u $KEY_ID CMakeLists.txt
### Build with default compiler
#