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 17:28:01 +0400
committerMichal Čihař <michal@cihar.com>2014-03-26 17:28:01 +0400
commit6b6e6dbf051c42bbaac0df391d033e86a7972692 (patch)
treebf9e730d2a7a004ba4bd68f695cdd1d5d9dd149b /build.xml
parentf9574059b030d274969bb2f808b581673bd1d764 (diff)
Create output dir before running lint
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index a5448ef339..361ff1c189 100644
--- a/build.xml
+++ b/build.xml
@@ -130,6 +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">
<arg value="-l" />