diff --git a/tools/build-system/launch-build-machine-jenkins.sh b/tools/build-system/launch-build-machine-jenkins.sh
index b3940d38e149e05a5461b5979b7af035601ec227..008ce8d40fcec045b725c68e4b8d100920b31a5c 100755
--- a/tools/build-system/launch-build-machine-jenkins.sh
+++ b/tools/build-system/launch-build-machine-jenkins.sh
@@ -61,7 +61,7 @@ do
                 unset DO_LOGGING;;
         --release)
                 IS_RELEASE=1;;
-        --tag)
+        --tag=*)
                 TAG=(${PARAMETER##*=});;
         --version-index=*)
                 VERSION_INDEX=(${PARAMETER##*=});;