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