More ignore patterns for props verification.

(cherry picked from commit 2a075654d0)
2012-07-20 12:34:59 -04:00 · 2012-07-20 12:34:59 -04:00 · ec319cb467
commit ec319cb467
parent 1d64b3a94f
1 changed files with 4 additions and 3 deletions
--- a/collects/meta/props
+++ b/collects/meta/props
@ -348,9 +348,10 @@ path/s is either such a string or a list of them.
 ;; Verify this database

 (define no-props-needed
-  '(#rx"/compiled$"
-    #rx"(?:^|/)[.]git"
-    #rx"^(?:README|bin|lib|include|[.]mailmap)$"
+  '(#rx"(?:~|[.]bak)$"
+    #rx"(?:^|/)(?:#|[.]git)"
+    #rx"/compiled$"
+    #rx"^(?:README|bin|lib|include|[.]mailmap|add-on)$"
    #rx"^collects/info-domain$"
    #rx"^doc/[^/]*$"
    #rx"(?:^|/)[.]DS_Store$"