From 58b2443feac84409ba7ddcaf0b6bcef273aad3ed Mon Sep 17 00:00:00 2001 From: Maria Matejka Date: Sat, 10 May 2025 15:02:58 +0200 Subject: [PATCH] Version script: fix detached mode --- tools/version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/version b/tools/version index 6e591e34b..0ef4f13ec 100755 --- a/tools/version +++ b/tools/version @@ -47,7 +47,7 @@ esac # Add branch info if not passed via command line if [ -z "${BRANCH}" ]; then # There is also --show-current but it's too new to be portable. - BRANCH=$(git branch | sed -n 's/^[*] //p' | grep -v 'HEAD detached') + BRANCH=$(git branch | sed -n 's/^[*] //p' | grep -v 'HEAD detached' || true) fi # Found a branch -- 2.47.2