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ř <michal@cihar.com>2014-03-26 19:27:04 +0400
committerMichal Čihař <michal@cihar.com>2014-03-26 19:27:04 +0400
commit826482b4c6ae0bf207693a761e4a981938f07b46 (patch)
tree11de23e26e77b3af278b3ed6c411c1db67252909 /build.xml
parent638f3be8af5deda57ebdeff6580c151ae528ac2d (diff)
Use long parameters for better readibility
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 0db12921a0..a8ea86a64c 100644
--- a/build.xml
+++ b/build.xml
@@ -137,7 +137,7 @@
<target name="lint" description="Perform syntax check of sourcecode files">
<apply executable="php" failonerror="true">
- <arg value="-l" />
+ <arg value="--syntax-check --file" />
<fileset dir="${basedir}">
<include name="libraries/**/*.php" />