Don't sort db files with fuzzer of origin information

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
This commit is contained in:
Tomasz Michalak 2019-05-27 08:36:53 +02:00
parent 22cdae1536
commit d1ccb55a58
1 changed files with 3 additions and 0 deletions

View File

@ -339,6 +339,9 @@ def main(argv):
for n in sorted(os.listdir()):
if not os.path.isfile(n):
continue
# Leave db files with fuzzer of origin untouched
if "origin_info" in n:
continue
base, ext = os.path.splitext(n)