Use time (shell builtin) when benchmarking - Githubissues

vnmakarov / mir

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

MIT License

2.24k stars 145 forks source link

Use time (shell builtin) when benchmarking #386

Closed iacore closed 5 months ago

iacore commented 7 months ago

target shell: GNU bash, version 5.2.21(1)-release time is a built in, not a command. xxx | time xxx also doesn't work.

This commit fixes the issue.

servusdei2018 commented 6 months ago

While time is indeed a reserved word on most shells and takes precedence over GNU time (if installed), it may be noted that this occurs in the GNUmakefile and on GNU systems it may be presumed that time is a command.

vnmakarov commented 5 months ago

Sorry for the delay with accepting this and thank you for the pull request. I merged it.