1 files changed, 3 insertions, 1 deletions
diff --git a/.krazy b/.krazy
index cee8846bb..d719866a6 100644
--- a/.krazy
+++ b/.krazy
@@ -1 +1,3 @@
-IGNORESUBS disabled,bench,build
-\ No newline at end of file
+SKIP /disabled/
+SKIP /bench/
+SKIP /build/