diff --git a/src/.krazy b/src/.krazy
index ef40efccf..8b7e194ec 100644
--- a/src/.krazy
+++ b/src/.krazy
@@ -1 +1 @@
-SKIP /3rdparty/\|/migration/mdb/src/mdbtools/
+SKIP /migration/mdb/3rdparty/