From 5eca9f7055b10bf95f6cd211d093fcc9fd126111 Mon Sep 17 00:00:00 2001 From: Aaron LI Date: Sat, 4 Mar 2017 14:42:17 +0800 Subject: clean_evt2.py: Add 'reg_sources' and 'gti' to manifest --- bin/clean_evt2.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/bin/clean_evt2.py b/bin/clean_evt2.py index 0712e6e..ee93f36 100755 --- a/bin/clean_evt2.py +++ b/bin/clean_evt2.py @@ -197,10 +197,16 @@ def main(): make_gti(lcfile, gtifile, clobber=args.clobber) filter_gti(evt2_rmsrc, evt2_clean, gtifile, clobber=args.clobber) - # Add cleaned evt2 to manifest + # Add cleaned evt2 and other products to manifest key = "evt2_clean" manifest.setpath(key, evt2_clean) logger.info("Added '%s' to manifest: %s" % (key, manifest.get(key))) + key = "reg_sources" + manifest.setpath(key, srcfile) + logger.info("Added '%s' to manifest: %s" % (key, manifest.get(key))) + key = "gti" + manifest.setpath(key, gtifile) + logger.info("Added '%s' to manifest: %s" % (key, manifest.get(key))) # Remove useless intermediate files os.remove(evt2_chips) -- cgit v1.2.2