diff options
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 $@ |