aboutsummaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/ci.sh b/ci.sh
index 048ece0..35631c3 100755
--- a/ci.sh
+++ b/ci.sh
@@ -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 $@