Commit 71feebb2 authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega Committed by Giacomo Bernini
Browse files

Matching tag names 



Signed-off-by: default avatarreinaortega <miguelangel.reinaortega@etsi.org>
parent e0ccb34e

scripts/validate.sh

+1 −1
Original line number Original line Diff line number Diff line
@@ -19,7 +19,7 @@ done 




echo "Using git branch $1"

echo "Using git branch $1"





if [[ "$1" =~ .*-dev$ || "$1" == "master" ]]; then

if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" ]]; then





	cd /home/etsi/dev/robot2doc/robot2doc

	cd /home/etsi/dev/robot2doc/robot2doc