Moved for merge preparation.

[core.git] / lint.sh

diff --git a/lint.sh b/lint.sh
deleted file mode 100755 (executable)
index 00c4a2c..0000000
--- a/lint.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-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"`
-
-if test "${LINT}" != ""; then
-       echo "${LINT}"
-else
-       echo "$0: No syntax errors found."
-fi