src/repomanci: array; ignore 3rd_party

This commit is contained in:
Maciej Barć 2020-12-19 13:01:14 +01:00
parent ffa106fad9
commit 3663b96dfb
No known key found for this signature in database
GPG Key ID: 031C9FE65BED714A

View File

@ -8,7 +8,7 @@
# skip these directories # skip these directories
ignored_dirs=" ignored_dirs=(
. .
.git .git
eclass eclass
@ -17,7 +17,8 @@ licenses
metadata metadata
profiles profiles
scripts scripts
" 3rd_party
)
# Variables needed for tools # Variables needed for tools
@ -47,7 +48,7 @@ for file in $(git diff --name-only HEAD HEAD~1)
do do
commit_dir="$(dirname "${file}")" commit_dir="$(dirname "${file}")"
for i_dir in ${ignored_dirs} for i_dir in "${ignored_dirs[@]}"
do do
if [[ "${commit_dir}" = *"${i_dir}"* ]] if [[ "${commit_dir}" = *"${i_dir}"* ]]
then then
@ -62,12 +63,12 @@ do
echo echo
echo "Checking ${commit_dir}" echo "Checking ${commit_dir}"
echo "Running repoman -Idix" echo "Running repoman -Idix"
repoman -Idix || test_success=false repoman -Idix || test_success="false"
cd - >/dev/null || return cd - >/dev/null || return
fi fi
done done
if [ ${test_success} = false ] if [ "${test_success}" = "false" ]
then then
echo ">>> Exiting with failure due to previous errors" echo ">>> Exiting with failure due to previous errors"
exit 1 exit 1