From 5996d8a4262a992bb8d8503bf92f9d1734e3d531 Mon Sep 17 00:00:00 2001 From: Josh Mock Date: Tue, 22 Aug 2023 10:39:51 -0500 Subject: [PATCH] Fix branch name checker for automatic codegen script (#1980) (cherry picked from commit 8d5e75d795f9df7b470c8e29d18d75204cf7ad35) --- .ci/make.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.ci/make.sh b/.ci/make.sh index adf79ef23..7f890cb2b 100755 --- a/.ci/make.sh +++ b/.ci/make.sh @@ -65,11 +65,11 @@ case $CMD in if [ -v "$VERSION" ] || [[ -z "$VERSION" ]]; then # fall back to branch name or `main` if no VERSION is set branch_name=$(git rev-parse --abbrev-ref HEAD) - if [[ "$branch_name" =~ ^\d+\.\d+ ]]; then - echo -e "\033[36;1mTARGET: codegen -> No VERSION found, using branch name: \`$VERSION\`\033[0m" + if [[ "$branch_name" =~ ^[0-9]+\.[0-9]+ ]]; then + echo -e "\033[36;1mTARGET: codegen -> No VERSION argument found, using branch name: \`$branch_name\`\033[0m" VERSION="$branch_name" else - echo -e "\033[36;1mTARGET: codegen -> No VERSION found, using \`main\`\033[0m" + echo -e "\033[36;1mTARGET: codegen -> No VERSION argument found, using \`main\`\033[0m" VERSION="main" fi fi