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 18:28:58 +0400
committerMichal Čihař <michal@cihar.com>2014-03-26 18:28:58 +0400
commit549c9af064bf0b77399842e4b5e6689e127adafe (patch)
tree3b5d5b736bf2ec0468ec76c90842b202ae0c8571 /build.xml
parentc61c8cc82548a39edd528743f8f2a41c4f1465fa (diff)
No more silencing of lint output
It can cause timeout issue on Travis if run too long. Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml3
1 files changed, 1 insertions, 2 deletions
diff --git a/build.xml b/build.xml
index 361ff1c189..1d1df8a94c 100644
--- a/build.xml
+++ b/build.xml
@@ -130,8 +130,7 @@
</target>
<target name="lint" description="Perform syntax check of sourcecode files">
- <mkdir dir="${basedir}/build"/>
- <apply executable="php" failonerror="true" logError="true" output="${basedir}/build/php-lint.log">
+ <apply executable="php" failonerror="true">
<arg value="-l" />
<fileset dir="${basedir}">