diff --git a/.proverc b/.proverc
new file mode 100644
index 000000000..6f84329ea
--- /dev/null
+++ b/.proverc
@@ -0,0 +1 @@
+--recurse