diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -130,8 +130,7 @@ fuzz: $(fuzz-targets/main.bin-check) benchmarks/main.bin-check = $(benchmarks/main.go:.go=.bin-check) $(benchmarks/main.bin-check): - rm -f $*.txt - printf '%s\n' '$(EXEC)$*.bin' >> $*.txt + printf '%s\n' '$(EXEC)$*.bin' > $*.txt LANG=POSIX.UTF-8 time -p $(EXEC)$*.bin 2>> $*.txt printf '%s\n' '$*.txt' |