Determine the release name via the ci script

RustAudio · Nov 5, 2019 · d4aeaa0 · d4aeaa0
1 parent 26e0eac
commit d4aeaa0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/ci.sh b/ci.sh
@@ -1,14 +1,15 @@
 #!/usr/bin/env bash
 
-dir=$(dirname "${BASH_SOURCE[0]}")
-release="v0.6.0-alpha.12"
-
 # Fail on error
 set -e
 
 # Verbose execution
 set -v
 
+dir=$(dirname "${BASH_SOURCE[0]}")
+release="v$(cat $dir/sys/deepspeech/VERSION)"
+echo "release is $release"
+
 # Download the native client
 client_dir="$dir/target/native_client"
 rm -rf $client_dir || true

diff --git a/sys/deepspeech b/sys/deepspeech