remove dbc when NDEBUG defined

diff --git a/inc/dbc.h b/inc/dbc.h
index b17d935270ba90c3b56ad4a6909f085621714a66..d0ee810003d1f46801a7024cb3c2748d590fd2d8 100644 (file)
--- 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