From 4522ca91db17964df9569a430dc5040c5add154f Mon Sep 17 00:00:00 2001 From: Alexandre Pujol Date: Sun, 5 Dec 2021 19:42:42 +0000 Subject: [PATCH] Fix ignore profile/path process. --- configure | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/configure b/configure index 251d724a2..593678804 100755 --- a/configure +++ b/configure @@ -33,7 +33,8 @@ ignore() { _msg "Ignore profiles/files in dists/ignore/$name" while read -r profile; do [[ "$profile" =~ ^\# ]] && continue - if [[ -e "$profile" ]]; then + [[ -z "$profile" ]] && continue + if [[ -e "${ROOT:?}/$profile" ]]; then rm -r "${ROOT:?}/$profile" else find "$ROOT/apparmor.d" -iname "$profile" -type f -exec rm {} \;