diff options
| author | jcmdln <jcmdln@gmail.com> | 2023-10-14 22:01:38 -0400 |
|---|---|---|
| committer | jcmdln <jcmdln@gmail.com> | 2023-10-14 22:01:38 -0400 |
| commit | d0037fcf6b27dae0cbbd34fc22d9ed639be7646d (patch) | |
| tree | c0d3f4eef059ae4a51fbedff1f994473ae5998eb /build_odin.sh | |
| parent | b25fba6175ae19962ce98f66a24d9a8f9442f392 (diff) | |
Allow running in POSIX shells
Diffstat (limited to 'build_odin.sh')
| -rwxr-xr-x | build_odin.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build_odin.sh b/build_odin.sh index 3900f5477..02baac382 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh set -eu : ${CPPFLAGS=} @@ -15,7 +15,7 @@ OS_ARCH="$(uname -m)" OS_NAME="$(uname -s)" if [ -d ".git" ] && [ -n "$(command -v git)" ]; then - GIT_SHA=($(git show --pretty='%h' --no-patch --no-notes HEAD)) + GIT_SHA=$(git show --pretty='%h' --no-patch --no-notes HEAD) CPPFLAGS="$CPPFLAGS -DGIT_SHA=\"$GIT_SHA\"" fi |