summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2024-10-29 12:18:43 -0300
committerEuAndreh <eu@euandre.org>2024-10-29 12:18:43 -0300
commit6d3cfd51670b0a6a863757e1e97af9262e5bbc06 (patch)
tree100f3ae55be4cc490f16c5286dcfc77bdd60fd67
parentMakefile: Prioritize local version when building and linking (diff)
downloaduuid-6d3cfd51670b0a6a863757e1e97af9262e5bbc06.tar.gz
uuid-6d3cfd51670b0a6a863757e1e97af9262e5bbc06.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 c127431..228aba9 100644
--- a/Makefile
+++ b/Makefile
@@ -122,8 +122,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'