diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2013-08-07 13:02:41 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2013-08-07 13:02:41 +0300 |
| commit | 8e031c8d98c9158c4ac2f0cc68c77b75edb20e33 (patch) | |
| tree | 5680a7335bc0bc5538400a672256be68d10b45bb /utils | |
| parent | 7a4f41ed5bff9997f117b5a3de9a1a1d0370db7f (diff) | |
manifest-descriptions: Make output filenames be *-ann.xml to get published.
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/manifest-descriptions/manifest-annotate | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/utils/manifest-descriptions/manifest-annotate b/utils/manifest-descriptions/manifest-annotate index 0ed2481..0b4d666 100755 --- a/utils/manifest-descriptions/manifest-annotate +++ b/utils/manifest-descriptions/manifest-annotate @@ -149,7 +149,11 @@ for fname, remote in FILE_MAP: #pprint(descr_map) +def out_fname(n): + h, t = n.rsplit(".", 1) + return h + "-ann." + t + source_manifest = parse(args[0]) pinned_manifest = parse(args[1]) -dump(source_manifest, open(args[0] + ".ann", "w")) -dump(pinned_manifest, open(args[1] + ".ann", "w"), source_manifest) +dump(source_manifest, open(out_fname(args[0]), "w")) +dump(pinned_manifest, open(out_fname(args[1]), "w"), source_manifest) |