From 4b860e7575d0fab1dc4c354ddbad1924cec187c0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Wed, 14 Dec 2016 16:43:03 +0100 Subject: [PATCH] No more needed ... util/typo.php is there. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Roland Häder --- util/lint.sh | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100755 util/lint.sh diff --git a/util/lint.sh b/util/lint.sh deleted file mode 100755 index 844a0eadd6..0000000000 --- a/util/lint.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -if [ ! -e "index.php" ] -then - echo "$0: Please execute this script from root directory." - exit 1 -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 [ -n "${LINT}" ] -then - echo "${LINT}" -else - echo "$0: No syntax errors found." -fi -- 2.39.5