summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFabio Bas <ctrlaltca@gmail.com>2016-02-26 10:46:21 +0100
committerFabio Bas <ctrlaltca@gmail.com>2016-02-26 10:46:21 +0100
commitadc4429456fd773609f402729cd278a9fbd645d3 (patch)
tree21c7b3f3f01c058ec88c817eb7ee12cae38ac031
parent7f7e7ea14d19dc8e7609872d296075decd9850b2 (diff)
Phing lint: don't run lint on 3rd-party js files
-rw-r--r--build.xml5
1 files changed, 5 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 708b18cd..37aeb3d5 100644
--- a/build.xml
+++ b/build.xml
@@ -336,6 +336,11 @@
<exclude name="**/*.bak"/>
<exclude name="**/*~"/>
<include name="**/*.js"/>
+ <exclude name="Web/Javascripts/source/bootstrap3/**"/>
+ <exclude name="Web/Javascripts/source/jquery/**"/>
+ <exclude name="Web/Javascripts/source/prototype*/**"/>
+ <exclude name="Web/Javascripts/source/scriptaculous*/**"/>
+ <exclude name="Web/Javascripts/source/tinymce*/**"/>
</fileset>
</jsllint>