Add --no-clean to checker (keeps the generated files around)
Change-Id: Iefef18f3456f79684077912e1f8b614d56e13ca6
diff --git a/tools/checker.py b/tools/checker.py
index bb2ac0c..24784ce 100755
--- a/tools/checker.py
+++ b/tools/checker.py
@@ -700,6 +700,8 @@
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 @@
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)