From 742727d35111ea2638380a1d616ee8431d2fb104 Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Wed, 21 Aug 2024 11:32:11 +0200
Subject: [PATCH] plugins: hard error without parallel lint

---
 Mk/plugins.mk | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/Mk/plugins.mk b/Mk/plugins.mk
index 5525c5231..ed4a7237d 100644
--- a/Mk/plugins.mk
+++ b/Mk/plugins.mk
@@ -372,13 +372,7 @@ lint-php: check
 .if exists(${LINTBIN})
 	@if [ -d ${.CURDIR}/src ]; then ${LINTBIN} src; fi
 .else
-	@find ${.CURDIR}/src \
-	    ! -name "*.xml" ! -name "*.xml.sample" ! -name "*.eot" \
-	    ! -name "*.svg" ! -name "*.woff" ! -name "*.woff2" \
-	    ! -name "*.otf" ! -name "*.png" ! -name "*.js" ! -name "*.md" \
-	    ! -name "*.scss" ! -name "*.py" ! -name "*.ttf" ! -name "*.txz" \
-	    ! -name "*.tgz" ! -name "*.xml.dist" ! -name "*.sh" ! -name "bootstrap80.php" \
-	    -type f -print0 | xargs -0 -n1 php -l
+	@echo "Did not find LINTBIN, please provide a core repository"; exit 1
 .endif
 
 lint: lint-desc lint-shell lint-xml lint-model lint-exec lint-php