make: Remove printing version from Makefile

[ShahanaFarooqui]

Changelog-None: Fixes error from tools/check-release.sh

Reference Failed Action: https://github.com/ElementsProject/lightning/actions/runs/19561062579

[rustyrussell]

Can we just filter it out instead? I really like the version printing!

diff --git a/tools/check-release.sh b/tools/check-release.sh
index 90da958a57..85dce03ada 100755
--- a/tools/check-release.sh
+++ b/tools/check-release.sh
@@ -50,7 +50,7 @@ if [ "$HEAD_VERSION" != "$VERSION" ]; then
 fi
 
 # The version tag should match the `make version` target output.
-MAKE_VERSION=$(make version)
+MAKE_VERSION=$(make version | grep -v 'Building version')
 echo "MAKE_VERSION=$MAKE_VERSION"
 if [ "$MAKE_VERSION" != "$VERSION" ]; then
     echo "The version tag must match the \`make version\` target output." >&2

[ShahanaFarooqui]

Can we just filter it out instead? I really like the version printing!

Thanks for the suggestion! Version printing is helpful for debugging purposes, but I was initially concerned about breaking other scripts if they assume make version returns only a single line. However, since that doesn't appear to be the case, I am keeping the printing as is while capturing only the last line of output from make version. This ensures that future changes to the printed messages—whether editing existing text or adding/removing lines—won't accidentally break this script.

[madelinevibes]

Thanks! ack 5109506