Skip to content
Snippets Groups Projects

Fix a bug linting files with spaces in the name

Merged Alan Nelson requested to merge php-lint-fixes into develop
1 file
+ 2
2
Compare changes
  • Side-by-side
  • Inline
+ 2
2
@@ -51,8 +51,8 @@ for dir in "${LINT_DIRS[@]}"; do
echo "Scanning directory ${dir} for extension ${ext}"
# Scan current dir and ext and lint them
for f in $(find "${dir}" -type f -name "*${ext}"); do
OUTPUT=$(php -l $f 2>&1)
find "${dir}" -type f -name "*${ext}" -print0 | while IFS= read -r -d '' f; do
OUTPUT=$(php -l "$f" 2>&1)
rc=$?
if [[ $rc != 0 ]]; then # Non-zero exit code, print error and exit
Loading