aboutsummaryrefslogtreecommitdiff
path: root/src/debug.h
diff options
context:
space:
mode:
authorPjotr Prins2017-10-14 07:46:34 +0000
committerPjotr Prins2017-10-14 07:46:34 +0000
commitc7678424a339a61d189f1d6a8d42d84683f7c2a7 (patch)
treecb15d0fcb296bc839f37dc1d4dcfc57c235bd971 /src/debug.h
parent12400932dd780a83bdad51642abda802797960b3 (diff)
downloadpangemma-c7678424a339a61d189f1d6a8d42d84683f7c2a7.tar.gz
More travis
Diffstat (limited to 'src/debug.h')
-rw-r--r--src/debug.h5
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;