aboutsummaryrefslogtreecommitdiffstats
path: root/files/ant/build.xml
diff options
context:
space:
mode:
authorTor Norbye <tnorbye@google.com>2012-08-06 07:39:03 -0700
committerTor Norbye <tnorbye@google.com>2012-08-06 08:32:05 -0700
commitee4780f1de04e7c87b3fe172a4b1510bd4c7e9bf (patch)
treea05c31329f5a92bc0e8b2c0225aafa8265cd45ce /files/ant/build.xml
parent726ce505cb26f4375591729d41ea1395280d244d (diff)
downloadsdk-ee4780f1de04e7c87b3fe172a4b1510bd4c7e9bf.zip
sdk-ee4780f1de04e7c87b3fe172a4b1510bd4c7e9bf.tar.gz
sdk-ee4780f1de04e7c87b3fe172a4b1510bd4c7e9bf.tar.bz2
Allow lint cli --sources to specify a path, and use from ant lint
First, this changeset allows the arguments passed to --sources and --classpath (renamed from --classes) to specify not just a directory, but to specify a path as well. This might make it easier to invoke lint from scripts if you have a path variable, so you don't have to split it into multiple arguments. Second, it makes the lint task in ant use these, such that any build.xml customizations to the source paths or class paths are automatically used rather than relying on lint's default structure check. Change-Id: Id8e4caf0010d7fd7245844b3099b5dc0607f0aba
Diffstat (limited to 'files/ant/build.xml')
-rw-r--r--files/ant/build.xml4
1 files changed, 3 insertions, 1 deletions
diff --git a/files/ant/build.xml b/files/ant/build.xml
index 769889c..0c486e6 100644
--- a/files/ant/build.xml
+++ b/files/ant/build.xml
@@ -1295,7 +1295,9 @@
description="Runs lint on the project to look for potential bugs" >
<lint executable="${lint}"
html="${lint.out.html}"
- xml="${lint.out.xml}" />
+ xml="${lint.out.xml}"
+ src="${source.absolute.dir}:${gen.absolute.dir}"
+ classpath="${out.classes.absolute.dir}" />
</target>
<!-- ******************************************************* -->