diff --git a/dist/tools/coccinelle/warn/enable_debug.cocci b/dist/tools/coccinelle/warn/enable_debug.cocci new file mode 100644 index 0000000000..0e8aed8e19 --- /dev/null +++ b/dist/tools/coccinelle/warn/enable_debug.cocci @@ -0,0 +1,16 @@ +// ENABLE_DEBUG must not use parenthesis to be compatible with IS_ACTIVE + +@@ +constant C; +@@ + +- #define ENABLE_DEBUG (C) ++ #define ENABLE_DEBUG C + +// make sure that ENABLE_DEBUG is zero + +@@ +@@ + +- #define ENABLE_DEBUG 1 ++ #define ENABLE_DEBUG 0 diff --git a/dist/tools/coccinelle/warn/enable_debug_false.cocci b/dist/tools/coccinelle/warn/enable_debug_false.cocci deleted file mode 100644 index 9742f5bf37..0000000000 --- a/dist/tools/coccinelle/warn/enable_debug_false.cocci +++ /dev/null @@ -1,5 +0,0 @@ -@@ -@@ - -- #define ENABLE_DEBUG (1) -+ #define ENABLE_DEBUG (0)