From: Michael D. Lowis <mike@mdlowis.com>
Date: Wed, 25 Sep 2019 01:51:07 +0000 (-0400)
Subject: remove dbc when NDEBUG defined
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=654aeb7a703c96518b5312535b1d61751012641d;p=projs%2Ftide.git

remove dbc when NDEBUG defined
---

diff --git a/inc/dbc.h b/inc/dbc.h
index b17d935..d0ee810 100644
--- a/inc/dbc.h
+++ b/inc/dbc.h
@@ -4,7 +4,14 @@
 #define ensure(cond) \
     dbc_ensure(cond, #cond, __FILE__, __LINE__)
 
-void dbc_init(char* path, void (*dumpfn)(FILE*));
-void dbc_require(bool success, char* text, char* file, int line);
-void dbc_ensure(bool success, char* text, char* file, int line);
-void dbc_wdtkick(void);
+#ifndef NDEBUG
+    void dbc_init(char* path, void (*dumpfn)(FILE*));
+    void dbc_require(bool success, char* text, char* file, int line);
+    void dbc_ensure(bool success, char* text, char* file, int line);
+    void dbc_wdtkick(void);
+#else
+    #define dbc_init(a,b) ((void)0)
+    #define dbc_require(a,b,c,d) ((void)0)
+    #define dbc_ensure(a,b,c,d) ((void)0)
+    #define dbc_wdtkick() ((void)0)
+#endif