diff options
| author | John Hodge <tpg@mutabah.net> | 2018-10-03 21:03:27 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-10-03 21:03:27 +0800 |
| commit | 8adb6f6acf4fd5d2ebf527d749cf77faaf889b65 (patch) | |
| tree | 405f6b6e6844428c1d43d754701416dbe4b5bebb /src/span.cpp | |
| parent | e42b7877ac1f7c173d42600b220b1f50a143b9b4 (diff) | |
| parent | bd3d69813cc54439fdc0db33943fa1254db3df06 (diff) | |
| download | mrust-8adb6f6acf4fd5d2ebf527d749cf77faaf889b65.tar.gz | |
Merge branch 'master' into nightly-1.29
Diffstat (limited to 'src/span.cpp')
| -rw-r--r-- | src/span.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/span.cpp b/src/span.cpp index 3d4d1ceb..eacdc7aa 100644 --- a/src/span.cpp +++ b/src/span.cpp @@ -59,7 +59,11 @@ namespace { void Span::bug(::std::function<void(::std::ostream&)> msg) const { print_span_message(*this, [](auto& os){os << "BUG";}, msg); +#ifndef _WIN32 abort(); +#else + exit(1); +#endif } void Span::error(ErrorType tag, ::std::function<void(::std::ostream&)> msg) const { |