mirror of
https://github.com/netbirdio/plugins.git
synced 2026-05-22 18:44:07 -07:00
plugins: hard error without parallel lint
This commit is contained in:
+1
-7
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user