Update build_deb.sh

BuildServer/Debian/build_deb.sh

@@ -22,7 +22,13 @@ if [ -n "${RUN_NIGHTLY_BUILD}" ]
 then
     VERSION_NAME="devel"
 else
-    VERSION_NAME=${CI_BUILD_TAG}
+    if [[ ${CI_BUILD_TAG} =~ ^v([0-9]+\.[0-9]+\.[0-9]+)$ ]]
+    then
+        VERSION_NAME=${BASH_REMATCH[1]}
+    else
+        echo -e "$ROUGE""Invalid version number ${CI_BUILD_TAG}" "$NORMAL"
+        exit
+    fi
 fi
 
 ##Select the build target