diff --git a/Mk/plugins.mk b/Mk/plugins.mk index a4e41143e..d95dba8ed 100644 --- a/Mk/plugins.mk +++ b/Mk/plugins.mk @@ -276,7 +276,7 @@ lint-shell: if [ "$$(head $${FILE} | grep -c '^#!\/bin\/sh$$')" == "0" ]; then \ echo "Missing shebang in $${FILE}"; exit 1; \ fi; \ - sh -n $${FILE}; \ + sh -n $${FILE} || exit 1; \ done lint-xml: