diff options
| author | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-10-11 17:08:00 -0400 |
|---|---|---|
| committer | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-10-11 18:02:25 -0400 |
| commit | 617bd092c14e4cf997d99eea9d9ad2c5ce12e8af (patch) | |
| tree | daa46fa8ee9d867b28ecab7b24693a986db9aad9 /ci.sh | |
| parent | 44f7dedc6ab60a39ffe7ba0b1838a6251654b16e (diff) | |
Set version in binary when creating releases
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,8 @@ #!/usr/bin/env bash -VERSION="nightly-$(date -u '+%Y-%m-%d')-$(git rev-parse --short HEAD)" +if [[ -z "$OLS_VERSION" ]]; then + OLS_VERSION="nightly-$(date -u '+%Y-%m-%d')-$(git rev-parse --short HEAD)" +fi if [[ $1 == "CI" ]] then @@ -37,4 +39,4 @@ then fi -odin build src/ -show-timings -collection:src=src -out:ols -no-bounds-check -o:speed -define:VERSION=$VERSION $@ +odin build src/ -show-timings -collection:src=src -out:ols -no-bounds-check -o:speed -define:VERSION=$OLS_VERSION $@ |