diff options
| author | John Hodge <tpg@mutabah.net> | 2019-11-09 21:08:42 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2019-11-09 21:08:42 +0800 |
| commit | 6be15b07fb5d56e1b2064ef2dd9bbf8ec8658d9a (patch) | |
| tree | b8e75bfe203e6ae019550e5635a12dcd1248b76c /tools/standalone_miri/debug.hpp | |
| parent | 9addf62c2793fad9cf6807f106fd4f5bf13806af (diff) | |
| download | mrust-6be15b07fb5d56e1b2064ef2dd9bbf8ec8658d9a.tar.gz | |
Standalone MIRI - Tweaks on windows
Diffstat (limited to 'tools/standalone_miri/debug.hpp')
| -rw-r--r-- | tools/standalone_miri/debug.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/standalone_miri/debug.hpp b/tools/standalone_miri/debug.hpp index 9de6231b..9c60a0b6 100644 --- a/tools/standalone_miri/debug.hpp +++ b/tools/standalone_miri/debug.hpp @@ -34,7 +34,7 @@ public: template<typename T> DebugSink& operator<<(const T& v) { - if( m_stderr_too ) + if( m_stderr_too && s_out_file ) { ::std::cerr << v; } |