diff --git a/Makefile.pre.in b/Makefile.pre.in
index 1108c75eca7..78b85f656f1 100644
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -1313,7 +1313,7 @@ funny:
 		-o -name .hgignore \
 		-o -name .bzrignore \
 		-o -name MANIFEST \
-		-print
+		-o -print
 
 # Perform some verification checks on any modified files.
 patchcheck: