Add .gitignore for unzipped files and .DS_Store

Don't process .gitignore files in generator.py script

2 files changed, 2 insertions, 0 deletions

diff --git a/suite/binaries b/suite/binaries
-Subproject cd820aa5279d454a8071db526332e3eda3312df
+Subproject 0f0801f1b75ac0e913ae9ca7a5447b18bf1c3a8
diff --git a/suite/generator.py b/suite/generator.py
index 8ef2280c..443bb6bd 100755
--- a/suite/generator.py
+++ b/suite/generator.py
@@ -254,6 +254,8 @@ def generate(test_store, outdir, exclude_binaries):
     allfiles = sorted(testcommon.get_file_list(test_store))
     for progress, testfile in enumerate(allfiles):
         oraclefile = None
+        if testfile.endswith(".gitignore"):
+            continue
         if testfile.endswith(".pkl"):
             continue
         elif testfile.endswith(".DS_Store"):