diff options
author | EuAndreh <eu@euandre.org> | 2024-10-29 12:15:29 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2024-10-29 12:15:29 -0300 |
commit | 31fd43c66db50937686f88f4661b665fe92db184 (patch) | |
tree | ddd30e57925d8063ef39684ae4a167905aa07dab /Makefile | |
parent | Makefile: Prioritize local version when building and linking (diff) | |
download | gobang-31fd43c66db50937686f88f4661b665fe92db184.tar.gz gobang-31fd43c66db50937686f88f4661b665fe92db184.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
@@ -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' |