From 88c9c1c62b6e070f720792b431166dd67f6b619c Mon Sep 17 00:00:00 2001 From: reinaortega Date: Thu, 17 Jun 2021 11:25:47 +0200 Subject: [PATCH] Cleanup build folder before new files are generated Signed-off-by: reinaortega --- scripts/validate.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/scripts/validate.sh b/scripts/validate.sh index 7e50abcd..bf93a753 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 -- GitLab