diff --git a/check_syntax.sh b/check_syntax.sh index 2f12eaf2..1a11de1d 100755 --- a/check_syntax.sh +++ b/check_syntax.sh @@ -1,7 +1,18 @@ #!/bin/bash DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +ERRORS=0 for FILE in $(find "$DIR" -name '*.php'); do - php7.0 -l $FILE + CHECK=$(php7.0 -l $FILE | grep -v "^No syntax errors detected") + if [ -n "$CHECK" ]; then + echo "$CHECK" + ERRORS=1 + fi done + +if [ $ERRORS -eq 0 ]; then + echo "Syntax OK" +fi + +exit $ERRORS