diff options
| -rw-r--r-- | build2/test/script/runner.cxx | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/build2/test/script/runner.cxx b/build2/test/script/runner.cxx index 558f3f0..4136953 100644 --- a/build2/test/script/runner.cxx +++ b/build2/test/script/runner.cxx @@ -1534,10 +1534,8 @@ namespace build2 d << pr << " terminated abnormally" << info << exit->description (); -#ifndef _WIN32 if (exit->core ()) d << " (core dumped)"; -#endif } else { |