From ec319cb4677dddabaa523672d8c9e01be4c3c253 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Fri, 20 Jul 2012 12:34:59 -0400
Subject: [PATCH] More ignore patterns for props verification. (cherry picked
 from commit 2a075654d066c3628ac724533768bd1fe9800300)

---
 collects/meta/props | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/collects/meta/props b/collects/meta/props
index 3401f534c8..73847addb3 100755
--- 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$"