diff --git a/projects/scripts/patch_commit_number.sh b/projects/scripts/patch_commit_number.sh index 2079c0987..60d8b7d36 100644 --- a/projects/scripts/patch_commit_number.sh +++ b/projects/scripts/patch_commit_number.sh @@ -6,7 +6,7 @@ COMMIT_NUMBER=$(git rev-list "$(git tag --sort=-creatordate | grep ecode | sed - FILE_PATH="../../src/tools/ecode/version.hpp" -case "$OSTYPE" in +case "$(echo "$OSTYPE" | tr 'A-Z' 'a-z')" in darwin*) perl -i -pe "s/#define ECODE_COMMIT_NUMBER [0-9]+/#define ECODE_COMMIT_NUMBER $COMMIT_NUMBER/" "$FILE_PATH" ;;