Version script: fix detached mode

diff --git a/tools/version b/tools/version
index 6e591e34b854a906d0b607b3f0d4bb9c1457415c..0ef4f13ec206b2a79ac9535b4b8368843a65fe54 100755 (executable)
--- 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