#14: Provide option to specify version of the release.

annoviko · Oct 7, 2021 · 545bd5a · 545bd5a
1 parent 6d78bc7
commit 545bd5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/github-ci-release.sh b/ci/github-ci-release.sh
@@ -32,7 +32,7 @@ if [ -z "$REQUESTED_VERSION" ]
     fi
 
     echo "$major.$minor.$micro" > VERSION
-then
+else
     # use user-provided version of the library
     echo "[INFO] Use user-provided version of the library '$REQUESTED_VERSION'."