From f843c8e5302a8da448de313e6677f89a9b9af60b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 19 Mar 2012 12:28:13 +0100
Subject: [PATCH] skip pickle files when running make scan

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e20796f7..63af466e 100644
--- a/Makefile
+++ b/Makefile
@@ -96,7 +96,7 @@ force:
 ##########
 # a lot of stuff in the working dir is just noise
 scan:
-	@find . -type f | egrep -v '^\./\.|/\.git/|/\.svn/|TAGS|AA-|~$$|egg-info|\.(py[co]|doc|html|pdf|png|svg|out|bak|dg)$$' 
+	@find . -type f | egrep -v '^\./\.|/\.git/|/\.svn/|TAGS|AA-|~$$|egg-info|\.(py[co]|doc|html|pdf|png|svg|out|bak|dg|pickle)$$' 
 tags:	
 	$(MAKE) scan | xargs etags
 
-- 
2.43.0