Commit 36e07d22 authored by Miguel Angel Reina Ortega's avatar Miguel Angel Reina Ortega Committed by Giacomo Bernini
Browse files

Checking git branch used in validate.sh script

parent 8dcbb660
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -17,6 +17,8 @@ for i in */*/*.robot ; do
    fi
done

echo "Using git branch $1"

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

	cd /home/etsi/dev/robot2doc/robot2doc