From f914706660468ce37036fb0b529880c691fb55f5 Mon Sep 17 00:00:00 2001 From: Calin Juravle Date: Fri, 16 Jan 2015 11:58:49 +0000 Subject: Add --no-clean to checker (keeps the generated files around) Change-Id: Iefef18f3456f79684077912e1f8b614d56e13ca6 --- tools/checker.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'tools/checker.py') diff --git a/tools/checker.py b/tools/checker.py index bb2ac0c867..24784cec6d 100755 --- a/tools/checker.py +++ b/tools/checker.py @@ -700,6 +700,8 @@ def ParseArguments(): help="print the contents of an output group") parser.add_argument("-q", "--quiet", action="store_true", help="print only errors") + parser.add_argument("--no-clean", dest="no_clean", action="store_true", + help="don't clean up generated files") return parser.parse_args() @@ -763,4 +765,7 @@ if __name__ == "__main__": else: RunChecks(args.check_prefix, args.source_path, args.tested_file) finally: - shutil.rmtree(tempFolder) + if args.no_clean: + print("Files left in %s" % tempFolder) + else: + shutil.rmtree(tempFolder) -- cgit v1.2.3