diff options
author | Martin Peres <martin.peres@linux.intel.com> | 2016-01-13 20:30:45 +0200 |
---|---|---|
committer | Martin Peres <martin.peres@linux.intel.com> | 2016-01-13 20:30:45 +0200 |
commit | 496711ddc4b97010537f875ad4454de11065b2f0 (patch) | |
tree | 485fce07438e5dd89fbbffd4281f86f4ab73ced8 | |
parent | e82a19340a250d045815282cf67e210297daf7fe (diff) |
compare_reports: make sure the environment file exists before using it
-rwxr-xr-x | stats/compare_reports.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stats/compare_reports.py b/stats/compare_reports.py index 777f8e2..b9f5c0c 100755 --- a/stats/compare_reports.py +++ b/stats/compare_reports.py @@ -103,6 +103,9 @@ for log_folder in args.log_folder: for e in range(0, len(result.env_files)): # Create the per-run information envfile = result.env_files[e] + if envfile is None: + continue + r = EnvDumpReport(log_folder + "/" + envfile, False).to_set(['^DATE', '^ENV.ENV_DUMP_FILE', '^ENV.EZBENCH_PERFMETER_PID', |