diff options
author | Andrew Pellegrini <apell@google.com> | 2016-09-23 16:36:26 +0000 |
---|---|---|
committer | Laszlo Csomor <laszlocsomor@google.com> | 2016-09-26 07:46:39 +0000 |
commit | b4ac0713bfbe0aaf323a04f411fbd574879e07bd (patch) | |
tree | 19c6690e9711bd2e070eb0d99d60a72e3806a4a7 /src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java | |
parent | 78b9cab45de2a32158cd4306cd40208045cf6f85 (diff) |
Add manifest merger output log.
RELNOTES: When using android_binary.manifest_merger="android" the merger produces a summary log next to the merged manifest artifact.
--
MOS_MIGRATED_REVID=134082985
Diffstat (limited to 'src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java')
-rw-r--r-- | src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java b/src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java index 520966bd53..99d0cdb430 100644 --- a/src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java +++ b/src/tools/android/java/com/google/devtools/build/android/ManifestMergerAction.java @@ -116,6 +116,13 @@ public class ManifestMergerAction { category = "output", help = "Path for the merged manifest.") public Path manifestOutput; + + @Option(name = "log", + defaultValue = "null", + category = "output", + converter = PathConverter.class, + help = "Path to where the merger log should be written.") + public Path log; } private static final String[] PERMISSION_TAGS = @@ -174,7 +181,8 @@ public class ManifestMergerAction { mergeeManifests.build(), options.mergeType, options.manifestValues, - options.manifestOutput); + options.manifestOutput, + options.log); } else { // Only need to stamp custom package into the library level. mergedManifest = resourceProcessor.writeManifestPackage( |