diff options
author | Pjotr Prins | 2017-10-14 07:46:34 +0000 |
---|---|---|
committer | Pjotr Prins | 2017-10-14 07:46:34 +0000 |
commit | c7678424a339a61d189f1d6a8d42d84683f7c2a7 (patch) | |
tree | cb15d0fcb296bc839f37dc1d4dcfc57c235bd971 /src/debug.h | |
parent | 12400932dd780a83bdad51642abda802797960b3 (diff) | |
download | pangemma-c7678424a339a61d189f1d6a8d42d84683f7c2a7.tar.gz |
More travis
Diffstat (limited to 'src/debug.h')
-rw-r--r-- | src/debug.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/debug.h b/src/debug.h index ee36887..7d2197d 100644 --- a/src/debug.h +++ b/src/debug.h @@ -49,6 +49,11 @@ inline void fail_at_msg(bool strict, const char *__file, int __line, const char # define __ASSERT_VOID_CAST (void) # endif +inline void fail_msg(const char *msg) { + std::cerr << "**** FAILED: " << msg << std::endl; + exit(5); +} + #if defined NDEBUG #define warning_msg(msg) cerr << "**** WARNING: " << msg << endl; |