From bb2409f935b1f59f0aa5100bcc43000ac9b8eaa0 Mon Sep 17 00:00:00 2001
From: Christian Boltz <apparmor@cboltz.de>
Date: Tue, 28 Apr 2020 22:28:12 +0200
Subject: [PATCH] adjust check for local/ includes to "include if exists"

---
 profiles/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/profiles/Makefile b/profiles/Makefile
index 202dd1d26..39ecbe567 100644
--- a/profiles/Makefile
+++ b/profiles/Makefile
@@ -42,7 +42,7 @@ local:
 	for profile in ${TOPLEVEL_PROFILES}; do \
 		fn=$$(basename $$profile); \
 		echo "# Site-specific additions and overrides for '$$fn'" > ${PROFILES_SOURCE}/local/$$fn; \
-		grep "include[[:space:]]\\+<local/$$fn>" "$$profile" >/dev/null || { echo "$$profile doesn't contain #include <local/$$fn>" ; exit 1; } ; \
+		grep "include[[:space:]]\\+if[[:space:]]\\+exists[[:space:]]\\+<local/$$fn>" "$$profile" >/dev/null || { echo "$$profile doesn't contain include if exists <local/$$fn>" ; exit 1; } ; \
 	done; \
 
 .PHONY: install