diff --git a/dist/tools/coccinelle/warn/enable_debug_false.cocci b/dist/tools/coccinelle/warn/enable_debug_false.cocci new file mode 100644 index 000000000..9742f5bf3 --- /dev/null +++ b/dist/tools/coccinelle/warn/enable_debug_false.cocci @@ -0,0 +1,5 @@ +@@ +@@ + +- #define ENABLE_DEBUG (1) ++ #define ENABLE_DEBUG (0)