Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichal Čihař <mcihar@suse.cz>2013-06-12 12:41:49 +0400
committerMichal Čihař <mcihar@suse.cz>2013-06-12 12:46:38 +0400
commit23141a05bdaddacbb1e4c5878b39cd0c971c38af (patch)
treecdee1776c622a06dfef04372094da5d96c383a18 /build.xml
parente7069f86f8a241624be3c606c003b3f952ea169f (diff)
Add PHP lint to build.xml
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml13
1 files changed, 12 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 5a383e68e7..a230311e7f 100644
--- a/build.xml
+++ b/build.xml
@@ -115,5 +115,16 @@
</exec>
</target>
- <target name="build" depends="clean,phpunit,pdepend,phpmd,phpcpd,phpcs,phpdoc,phploc,phpcb"/>
+ <target name="lint" description="Perform syntax check of sourcecode files">
+ <apply executable="php" failonerror="true">
+ <arg value="-l" />
+
+ <fileset dir="${basedir}">
+ <include name="**/*.php" />
+ <modified />
+ </fileset>
+ </apply>
+ </target>
+
+ <target name="build" depends="clean,phpunit,pdepend,phpmd,phpcpd,phpcs,phpdoc,phploc,phpcb,lint,jshint"/>
</project>