Closed captn3m0 closed 3 years ago
/usr/bin/time doesn't exist on many systems because it is implemented as a shell-builtin.
/usr/bin/time
Putting a semi-colon at the end of the command forces make to run a shell for the same, and invokes the correct time.
Added a shebang for bench.sh so hopefully that should also work everywhere?
bench.sh
Ref: https://stackoverflow.com/a/17550243/368328
Thank you!
/usr/bin/time
doesn't exist on many systems because it is implemented as a shell-builtin.Putting a semi-colon at the end of the command forces make to run a shell for the same, and invokes the correct time.
Added a shebang for
bench.sh
so hopefully that should also work everywhere?Ref: https://stackoverflow.com/a/17550243/368328