diff options
Diffstat (limited to 'config.lib')
-rw-r--r-- | config.lib | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/config.lib b/config.lib index 143c4967e..918e5cad1 100644 --- a/config.lib +++ b/config.lib @@ -1357,10 +1357,7 @@ make_cflags_and_ldflags() { CFLAGS="$CFLAGS -DNDEBUG" fi - if [ "$enable_desync_debug" = "1" ]; then - CFLAGS="$CFLAGS -DDEBUG_DUMP_COMMANDS" - fi - if [ "$enable_desync_debug" = "2" ]; then + if [ "$enable_desync_debug" != "0" ]; then CFLAGS="$CFLAGS -DRANDOM_DEBUG" fi |