From 0c97e9a5de5b35b759cc5b0955801244ed76791f Mon Sep 17 00:00:00 2001
From: bernat <bernatx@gmail.com>
Date: Wed, 30 Sep 2020 20:22:25 +0200
Subject: [PATCH] Enable deploy of four number version

---
 Util/BuildTools/Deploy.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Util/BuildTools/Deploy.sh b/Util/BuildTools/Deploy.sh
index bf8f7caa85a..d0cd8f6e3b3 100755
--- a/Util/BuildTools/Deploy.sh
+++ b/Util/BuildTools/Deploy.sh
@@ -63,6 +63,10 @@ if [[ ${REPOSITORY_TAG} =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
   log "Detected tag ${REPOSITORY_TAG}."
   DEPLOY_NAME=CARLA_${REPOSITORY_TAG}.tar.gz
   DOCKER_TAG=${REPOSITORY_TAG}
+elif [[ ${REPOSITORY_TAG} =~ ^[0-9]+\.[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
+  log "Detected tag ${REPOSITORY_TAG}."
+  DEPLOY_NAME=CARLA_${REPOSITORY_TAG}.tar.gz
+  DOCKER_TAG=${REPOSITORY_TAG}
 else
   S3_PREFIX=${S3_PREFIX}/Dev
   DEPLOY_NAME=$(git log --pretty=format:'%cd_%h' --date=format:'%Y%m%d' -n 1).tar.gz