generate_info_file.py: Print warning if an expected file is not found
Because otherwise the script may fail to produce any useful results, and
yet not give any hint why this happens.
Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org>
diff --git a/coverage-tool/coverage-reporting/generate_info_file.py b/coverage-tool/coverage-reporting/generate_info_file.py
index 7ab5cdc..20eb0f4 100755
--- a/coverage-tool/coverage-reporting/generate_info_file.py
+++ b/coverage-tool/coverage-reporting/generate_info_file.py
@@ -389,6 +389,7 @@
for relative_path in file_list:
abs_path_file = os.path.join(args.workspace, relative_path)
if not os.path.exists(abs_path_file):
+ print("warning: cannot find '%s'" % abs_path_file)
continue
source = open(abs_path_file)
lines = source.readlines()