diff options
| author | nyx <nnyyxxxx@protonmail.com> | 2025-02-18 09:18:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-18 16:18:22 +0200 |
| commit | 3352317ca827dfb2dfd222274dfaf5941c78c086 (patch) | |
| tree | 6640f0d108d74d470779e0d6b6c19bafa937e15d /scripts | |
| parent | e59623d1d564089543cddb496fbed30fbd6ab247 (diff) | |
scripts/generateVersion.sh: convert to posix (#9433)
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/generateVersion.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/generateVersion.sh b/scripts/generateVersion.sh index e88cef3f..9313815d 100755 --- a/scripts/generateVersion.sh +++ b/scripts/generateVersion.sh @@ -2,8 +2,8 @@ # if the git directory doesn't exist, don't gather data to avoid overwriting, unless # the version file is missing altogether (otherwise compiling will fail) -if [[ ! -d ./.git ]]; then - if [[ -f ./src/version.h ]]; then +if [ ! -d ./.git ]; then + if [ -f ./src/version.h ]; then exit 0 fi fi |