diff options
| author | EuAndreh <eu@euandre.org> | 2024-10-29 12:09:30 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2024-10-29 12:09:30 -0300 |
| commit | 6406477c48673e200a90be634bea3cd35d8ef2d3 (patch) | |
| tree | ca0f5b5e07adfb01386f95dca23fdff20c180652 | |
| parent | Makefile: Prioritize local version when building and linking (diff) | |
| download | binder-6406477c48673e200a90be634bea3cd35d8ef2d3.tar.gz binder-6406477c48673e200a90be634bea3cd35d8ef2d3.tar.xz | |
Makefile: Simplify time file generation on bench taget dependencies
| -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' |