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-09-10 17:57:39 +0400
committerMichal Čihař <mcihar@suse.cz>2013-09-10 17:57:39 +0400
commit6c727b8e4ec3ab8032d83f01775ca7e1a403b405 (patch)
tree9f9cf6c6aae13d700de4fc978186453a28bf7648 /build.xml
parentc422fb275b665791bc44f53cb7e741035cb544d2 (diff)
Test only our files by lint
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml5
1 files changed, 4 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 0705e3076b..e4427da96d 100644
--- a/build.xml
+++ b/build.xml
@@ -125,7 +125,10 @@
<arg value="-l" />
<fileset dir="${basedir}">
- <include name="**/*.php" />
+ <include name="libraries/**/*.php" />
+ <include name="setup/**/*.php" />
+ <include name="test/**/*.php" />
+ <include name="*.php" />
<modified />
</fileset>
</apply>