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:50:09 +0400
committerMichal Čihař <mcihar@suse.cz>2013-06-12 12:50:09 +0400
commit311af4c7e0bd3acacab188ae5a8c1e74bb956d99 (patch)
treebdbaff62d29557ebf5e50bd96cc02d7aaa7dea32 /build.xml
parentf4736d054e8fd3a8052ead9284261753a7d07f64 (diff)
Use apply for jshint call to avoid problems with spaces in path
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml13
1 files changed, 7 insertions, 6 deletions
diff --git a/build.xml b/build.xml
index a230311e7f..1d84087bfd 100644
--- a/build.xml
+++ b/build.xml
@@ -4,9 +4,6 @@
<property name="source" value="."/>
<property name="source_comma_sep" value="."/>
- <fileset dir="${source}" includes="js/pmd/*.js,js/*.js" id="jsfiles" />
- <pathconvert pathsep=" " property="js-list" refid="jsfiles" />
-
<target name="clean" description="Clean up and create artifact directories">
<delete dir="${basedir}/build/api"/>
<delete dir="${basedir}/build/code-browser"/>
@@ -110,9 +107,13 @@
</target>
<target name="jshint" description="Javascript checks">
- <exec executable="jshint" output="${basedir}/build/logs/jslint.xml">
- <arg line="--config ./.jshintrc --jslint-reporter ${js-list}" />
- </exec>
+ <apply executable="jshint" output="${basedir}/build/logs/jslint.xml" parallel="true">
+ <arg line="--config ./.jshintrc --jslint-reporter" />
+ <fileset dir="${basedir}">
+ <include name="js/pmd/*.js" />
+ <include name="js/*.js" />
+ </fileset>
+ </apply>
</target>
<target name="lint" description="Perform syntax check of sourcecode files">