diff options
| author | EuAndreh <eu@euandre.org> | 2024-10-29 12:22:14 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2024-10-29 12:22:14 -0300 |
| commit | 7e5e352c400403dd5a6d13742e88d1091ce1baba (patch) | |
| tree | 3d0a9738a77ebc3047efea7b12736676e507dd52 | |
| parent | Makefile: Prioritize local version when building and linking (diff) | |
| download | untls-7e5e352c400403dd5a6d13742e88d1091ce1baba.tar.gz untls-7e5e352c400403dd5a6d13742e88d1091ce1baba.tar.xz | |
Makefile: Simplify time file generation on bench taget dependencies
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -131,8 +131,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' |