make: Remove printing the version from Makefile
What changed, and why it matters
This is a tiny build-script fix. The release-checking script now takes only the last line of the `make version` command when comparing versions, and prints slightly more detailed error messages. It has no security relevance.
No security action needed; this is a routine build/release tooling fix.
Security signals we found
No strong security signals were identified.
Evidence from the diff
The patch modifies tools/check-release.sh to pipe make version through tail -n 1 so that only the final line is captured as MAKE_VERSION. It also improves the mismatch error message by including the actual and expected version strings. There are no code, cryptographic, network, or permission changes.
Changed components
tools/check-release.shInspect captured patch +2 / −2
diff --git a/tools/check-release.sh b/tools/check-release.sh
index 90da958a..1e9bcd19 100755
--- a/tools/check-release.sh
+++ b/tools/check-release.sh
@@ -50,10 +50,10 @@ if [ "$HEAD_VERSION" != "$VERSION" ]; then
fi
# The version tag should match the `make version` target output.
-MAKE_VERSION=$(make version)
+MAKE_VERSION=$(make version | tail -n 1)
echo "MAKE_VERSION=$MAKE_VERSION"
if [ "$MAKE_VERSION" != "$VERSION" ]; then
- echo "The version tag must match the \`make version\` target output." >&2
+ echo "The version tag \"$VERSION\" must match the \`make version\` target output \"$MAKE_VERSION\"." >&2
exit 1
fi
Why this scored 15/100
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.