aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2024-10-29 12:12:28 -0300
committerEuAndreh <eu@euandre.org>2024-10-29 12:12:28 -0300
commitbc8e86f992e8a5a2345585bf02f382bb147501db (patch)
tree8283e42cc99825b912d4a2f75257f871b34c2370
parentMakefile: Prioritize local version when building and linking (diff)
downloaddedo-bc8e86f992e8a5a2345585bf02f382bb147501db.tar.gz
dedo-bc8e86f992e8a5a2345585bf02f382bb147501db.tar.xz
Makefile: Simplify time file generation on bench taget dependencies
-rw-r--r--Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index d039332..d08fc6b 100644
--- a/Makefile
+++ b/Makefile
@@ -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'