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 /Makefile | |
| 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
Diffstat (limited to 'Makefile')
| -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' |