diff options
author | Tor Norbye <tnorbye@google.com> | 2012-08-06 07:39:03 -0700 |
---|---|---|
committer | Tor Norbye <tnorbye@google.com> | 2012-08-06 08:32:05 -0700 |
commit | ee4780f1de04e7c87b3fe172a4b1510bd4c7e9bf (patch) | |
tree | a05c31329f5a92bc0e8b2c0225aafa8265cd45ce /files | |
parent | 726ce505cb26f4375591729d41ea1395280d244d (diff) | |
download | sdk-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')
-rw-r--r-- | files/ant/build.xml | 4 |
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> <!-- ******************************************************* --> |