b9254d9ebf
Replace all usages of /bin/bash with /usr/bin/env /usr/bin/env is nearly guaranteed to always exist at that location, which can't be said about /bin/bash and /bin/sh. Co-authored-by: opl <4833621+opl@users.noreply.github.com>
14 lines
298 B
Bash
Executable File
14 lines
298 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
gitroot=$(git rev-parse --show-toplevel)
|
|
|
|
cd "$gitroot/BuildChecker" || exit
|
|
|
|
if [[ $(uname) == MINGW* || $(uname) == CYGWIN* ]]; then
|
|
# Windows
|
|
py -3 git_helper.py --quiet
|
|
else
|
|
# Not Windows, so probably some other Unix thing.
|
|
python3 git_helper.py --quiet
|
|
fi
|