diff --git a/fuzzers/074-dump_all/Makefile b/fuzzers/074-dump_all/Makefile index c377e69d..b5247934 100644 --- a/fuzzers/074-dump_all/Makefile +++ b/fuzzers/074-dump_all/Makefile @@ -23,6 +23,8 @@ run: $(MAKE) clean $(MAKE) database $(MAKE) pushdb + # Clean up intermediate files after successful pushdb. + find build -name "*.json5" -delete touch run.ok clean: diff --git a/fuzzers/074-dump_all/run_fuzzer.py b/fuzzers/074-dump_all/run_fuzzer.py index 41ced3d1..68a2dccf 100644 --- a/fuzzers/074-dump_all/run_fuzzer.py +++ b/fuzzers/074-dump_all/run_fuzzer.py @@ -1,8 +1,6 @@ -import os import shutil import sys import subprocess -import signal from multiprocessing import Pool from itertools import chain import argparse