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>2016-01-25 14:08:22 +0300
committerMichal Čihař <michal@cihar.com>2016-01-25 14:08:22 +0300
commit1917bc159b67f6602fb8b35f2856d1c20cbc45e1 (patch)
tree780bd42f9b34807bfced62be1f7e265ca3fb6263 /build.xml
parentc76414b8bd613425a6f91acb5e92de7509b52251 (diff)
Make lint verbose to avoid timeout errors on Travis
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 4b95d93a8a..dde302d86b 100644
--- a/build.xml
+++ b/build.xml
@@ -151,7 +151,7 @@
</target>
<target name="lint" description="Perform syntax check of sourcecode files">
- <apply executable="php" failonerror="true" output="${basedir}/build/logs/lint.log" logError="true">
+ <apply executable="php" failonerror="true">
<arg value="-l" />
<fileset dir="${basedir}">