Adding an escape for a failed grep command which may be expected

jkueh · Apr 16, 2024 · 3b92b06 · 3b92b06
1 parent f9667a8
commit 3b92b06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/auto/build b/auto/build
@@ -2,7 +2,7 @@
 
 set -eu
 
-GITHUB_VERSION="$(grep '^v' <<< "${GITHUB_REF_NAME}")"
+GITHUB_VERSION="$(grep '^v' <<< "${GITHUB_REF_NAME}" || true)"
 GIT_SHA="$(git rev-parse --verify HEAD)"
 
 function getVersion() {