1 files changed, 10 insertions, 0 deletions
diff --git a/bin/generate-version-file b/bin/generate-version-file
new file mode 100755
index 00000000..36c70944
--- /dev/null
+++ b/bin/generate-version-file
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+VERSION="${GITHUB_REF##*/}"
+OS="${BUILD:-$(uname)}"
+
+if [[ "$VERSION" == "" ]]; then
+  VERSION="Manual Install"
+fi
+
+echo "${VERSION} (${OS})" > VERSION