diff options
| author | Hasan Yasin Ozturk <hasan@mond.red> | 2023-07-31 17:46:45 +0300 |
|---|---|---|
| committer | Hasan Yasin Ozturk <hasan@mond.red> | 2023-07-31 17:46:45 +0300 |
| commit | 963eeee361ed59c16a990836ee1132dfba105a89 (patch) | |
| tree | ffd109102caeb1a15681f5759e9bea7f401ac2dc /build_odin.sh | |
| parent | c3a316664a213efff4a082071d61e4c99e2892af (diff) | |
Fix dropped "dev-" prefix from version tag
In commit c3a31666, "dev-" prefix was dropped unintentionally. This commit fixes
that.
Diffstat (limited to 'build_odin.sh')
| -rwxr-xr-x | build_odin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_odin.sh b/build_odin.sh index 31fe4d54c..cbda51bfc 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -14,7 +14,7 @@ LDFLAGS="$LDFLAGS -pthread -lm -lstdc++" if [ -d ".git" ] && [ $(which git) ]; then versionTag=( $(git show --pretty='%cd %h' --date=format:%Y-%m --no-patch --no-notes HEAD) ) if [ $? -eq 0 ]; then - ODIN_VERSION="${versionTag[0]}" + ODIN_VERSION="dev-${versionTag[0]}" GIT_SHA="${versionTag[1]}" CPPFLAGS="$CPPFLAGS -DGIT_SHA=\"$GIT_SHA\"" fi |