From 01123090484a5c3a264ebb853ed57fac3b0efa83 Mon Sep 17 00:00:00 2001 From: Peter LaFosse Date: Fri, 30 Aug 2019 14:34:14 -0400 Subject: Add .gitignore for unzipped files and .DS_Store Don't process .gitignore files in generator.py script --- suite/binaries | 2 +- suite/generator.py | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/suite/binaries b/suite/binaries index cd820aa5..0f0801f1 160000 --- a/suite/binaries +++ b/suite/binaries @@ -1 +1 @@ -Subproject commit cd820aa5279d454a8071db526332e3eda3312dff +Subproject commit 0f0801f1b75ac0e913ae9ca7a5447b18bf1c3a82 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"): -- cgit v1.3.1