Fix CI build.

This commit is contained in:
Alexandre Pujol 2021-04-03 23:51:57 +01:00
parent df66824748
commit 70fa10d2a3
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC
3 changed files with 3 additions and 5 deletions

2
configure vendored
View file

@ -83,7 +83,7 @@ generate() {
[[ "$profile" =~ ^\# ]] && continue
path="${ROOT:?}/apparmor.d/profiles/$profile"
if [[ -f "$path" ]]; then
if [[ ! -f "$path" ]]; then
[[ "$DISTRIBUTION" == debian ]] && continue
_die "Profile $profile not found"
fi