diff options
-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) |