From e1334dd65df1e09c813f8a6f8c65aa893b78030a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 26 Oct 2011 12:35:19 +0200
Subject: [PATCH] more excludes

---
 scripts/diff-rec.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/diff-rec.py b/scripts/diff-rec.py
index 089ee5f..5809441 100755
--- a/scripts/diff-rec.py
+++ b/scripts/diff-rec.py
@@ -25,9 +25,13 @@ def git_update (dir):
     report_stderr(stderrdata)
 
 
+# this is ad hoc for sfa diffing ..
 excludes=[ "*.git*", "*~" ]
 excludes+= [ "*.pyc", "*.png", "*.pdf", "*.out" , "*.DS_Store", "*.lint" ]
 excludes+= [ "listfiles.sh", "python.*" ]
+excludes+= [ "*HEAD", "*txt" ]
+excludes+= [ "*slab*", "senslab" ]
+
 def run_diff(options):
     dir1=options.left_dir
     dir2=options.right_dir
-- 
2.47.0