Loading scripts/validate.sh +4 −2 Original line number Diff line number Diff line Loading @@ -19,12 +19,14 @@ done echo "Using git branch $1" mkdir -p /home/etsi/dev/build cd /home/etsi/dev/build rm -r -v * if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" ]]; then cd /home/etsi/dev/robot2doc/robot2doc mkdir -p /home/etsi/dev/build python3 create_sols.py ../../robot 'local' ../../build res2=$? else res2=0 Loading Loading
scripts/validate.sh +4 −2 Original line number Diff line number Diff line Loading @@ -19,12 +19,14 @@ done echo "Using git branch $1" mkdir -p /home/etsi/dev/build cd /home/etsi/dev/build rm -r -v * if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" ]]; then cd /home/etsi/dev/robot2doc/robot2doc mkdir -p /home/etsi/dev/build python3 create_sols.py ../../robot 'local' ../../build res2=$? else res2=0 Loading