diff --git a/scripts/validate.sh b/scripts/validate.sh index bf93a75350351447499ab70b2d9a1b207d029b79..8f8c1679de138f85e1c1ff321d2a6d6d2f5be649 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" ]]; then +if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" || "$1" == "Release-3" ]]; then cd /home/etsi/dev/robot2doc/robot2doc