diff --git a/ci/pages_deploy.sh b/ci/pages_deploy.sh index bc92ca81def776f30332eb68031fb1c815ca4c49..940405a8295b5fc7c120e650bff278dd025195fb 100755 --- a/ci/pages_deploy.sh +++ b/ci/pages_deploy.sh @@ -87,6 +87,9 @@ mv docs/html/* public/${DOCUMENT_PATH} git branch -a | grep "remote" | xargs -n 1 -i sh -c "path=\"{}\"; basename \"\$path\"" > branches_list ls -d public/coverage/*/ | xargs -n 1 -i sh -c "name=\"{}\"; basename \"\$name\"" > directory_list +# Condition the directory list (Remove unwanted instances) +sed -i -e '/gcovr/d;/inc/d;/src/d' directory_list + # Output for debugging purposes echo -e "\e[1;36mBranch names list\e[0m" cat branches_list