diff options
Diffstat (limited to 'suite/generator.py')
| -rwxr-xr-x | suite/generator.py | 2 |
1 files changed, 2 insertions, 0 deletions
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"): |