diff --git a/fuzzers/FRET/benchmark/Snakefile b/fuzzers/FRET/benchmark/Snakefile index b4237929da..8fea2d12f1 100644 --- a/fuzzers/FRET/benchmark/Snakefile +++ b/fuzzers/FRET/benchmark/Snakefile @@ -271,4 +271,4 @@ rule clean: rule full_clean: shell: - "rm -rf {benchdir}/bins || rm -rf {benchdir}/timedump" \ No newline at end of file + "rm -rf {benchdir}/bins & rm -rf {benchdir}/timedump" \ No newline at end of file