diff options
author | John Hodge <tpg@ucc.asn.au> | 2018-10-06 18:14:13 +0800 |
---|---|---|
committer | John Hodge <tpg@ucc.asn.au> | 2018-10-06 18:14:13 +0800 |
commit | 1382500b5fdba00568a86f0122bc2e78584dfb5d (patch) | |
tree | fc293328eea89d6639c4a36f268f5a1e1c826d6e /src/span.cpp | |
parent | 4a8198baca2cfcee17f83978ab71422a04d53b1a (diff) | |
parent | bd3d69813cc54439fdc0db33943fa1254db3df06 (diff) | |
download | mrust-1382500b5fdba00568a86f0122bc2e78584dfb5d.tar.gz |
Merge branch 'master' of https://github.com/thepowersgang/mrustc
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 { |