diff --git a/scripts/validate.sh b/scripts/validate.sh index 8f8c1679de138f85e1c1ff321d2a6d6d2f5be649..f97e43560d8f628f1667a7950f0b36b9ea609e91 100644 --- a/scripts/validate.sh +++ b/scripts/validate.sh @@ -23,7 +23,7 @@ mkdir -p /home/etsi/dev/build cd /home/etsi/dev/build rm -r -v * -if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" || "$1" == "Release-3" ]]; then +if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == (origin\/)?"master" || "$1" =~ (origin\/)?Release-\d$ ]]; then cd /home/etsi/dev/robot2doc/robot2doc