From f332d3647c98f98cb34f315cfe328e09f9a28d05 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Mon, 6 Feb 2017 17:21:18 +0000 Subject: [PATCH] Fixed lint scan scanning some files twice --- tests/lint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/lint.sh b/tests/lint.sh index eaf6a9a21..61378cd45 100755 --- a/tests/lint.sh +++ b/tests/lint.sh @@ -12,7 +12,7 @@ done echo Running PHP lint scans... shopt -s globstar -for file in src/pocketmine/*.php src/pocketmine/**/*.php; do +for file in src/pocketmine/**/*.php; do OUTPUT=`"$PHP_BINARY" -l "$file"` [ $? -ne 0 ] && echo -n "$OUTPUT" && exit 1 done