X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=scripts%2Fdiff-rec.py;h=5809441913b3b875598bc6a5da3b26517d7e8cbd;hb=630761a35272def7e8a0687282ce72657dcd4999;hp=089ee5f75cfe9f92c90ff2e6cae289780e65b6db;hpb=3d7b652e8f350204eee9737d1b380069f1d6252f;p=infrastructure.git

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