From f5455ce2acd9bd2f32a08b05b0db36a84871cc4e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 22 Nov 2018 15:40:08 -0800 Subject: [PATCH] fix exception handling for #1959 Signed-off-by: Nikolaj Bjorner --- scripts/mk_genfile_common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_genfile_common.py b/scripts/mk_genfile_common.py index cc2550e44..c42eaf86d 100644 --- a/scripts/mk_genfile_common.py +++ b/scripts/mk_genfile_common.py @@ -718,7 +718,7 @@ def mk_install_tactic_cpp_internal(h_files_full_path, path): _logger.error("Failed processing ADD_PROBE command at '{}'\n{}".format( fullname, line)) raise e - except e: + except Exception as e: _loggeer.error("Failed to read file {}\n".format(h_file)) raise e # First pass will just generate the tactic factories