turn off f24 build

[infrastructure.git] / scripts / diff-rec.py

diff --git a/scripts/diff-rec.py b/scripts/diff-rec.py
index 089ee5f..5809441 100755 (executable)
--- 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