diff --git a/scripts/validate.sh b/scripts/validate.sh index 7e50abcd57472dd0f3da47db6d6f2f3e07e5f23c..bf93a75350351447499ab70b2d9a1b207d029b79 100644 --- a/scripts/validate.sh +++ b/scripts/validate.sh @@ -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