diff --git a/util/lint.sh b/util/lint.sh index ef1530f85..844a0eadd 100755 --- a/util/lint.sh +++ b/util/lint.sh @@ -1,6 +1,7 @@ #!/bin/sh -if ! test -e "index.php"; then +if [ ! -e "index.php" ] +then echo "$0: Please execute this script from root directory." exit 1 fi @@ -8,7 +9,8 @@ fi echo "$0: Analysing PHP scripts for syntax errors (lint) ..." LINT=`find -type f -name "*.php" -exec php -l -f {} 2>&1 \; | grep -v "No syntax errors detected in" | grep -v "FUSE_EDEADLK" | sort --unique` -if test "${LINT}" != ""; then +if [ -n "${LINT}" ] +then echo "${LINT}" else echo "$0: No syntax errors found."