diff options
Diffstat (limited to 'src/textual.cc')
-rw-r--r-- | src/textual.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/textual.cc b/src/textual.cc index 51011aae..fe518cc2 100644 --- a/src/textual.cc +++ b/src/textual.cc @@ -236,6 +236,9 @@ void instance_t::parse() add_error_context("While parsing file " << file_context(pathname, linenum)); + if (caught_signal != NONE_CAUGHT) + throw; + string context = error_context(); if (! context.empty()) std::cerr << context << std::endl; |