diff options
-rw-r--r-- | include/my_dbug.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/my_dbug.h b/include/my_dbug.h index 109a1a4eb19..b32f12af8a0 100644 --- a/include/my_dbug.h +++ b/include/my_dbug.h @@ -132,6 +132,7 @@ extern void _db_flush_(); #else /* No debugger */ #define DBUG_ENTER(a1) +#define DBUG_VIOLATION_HELPER_LEAVE do { } while(0) #define DBUG_LEAVE #define DBUG_RETURN(a1) do { return(a1); } while(0) #define DBUG_VOID_RETURN do { return; } while(0) |