From d972dab9b77d5e437ece31005512786a313531f7 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Mon, 18 Oct 2021 15:51:05 +0200 Subject: [PATCH] CI: changed filename in release script --- ci/RELEASE.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/RELEASE.sh b/ci/RELEASE.sh index f30bf8992..f09285fb7 100755 --- a/ci/RELEASE.sh +++ b/ci/RELEASE.sh @@ -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 #