|
#!/bin/bash
|
||
|
|||
shift # get rid of the '-c' supplied by make.
|
|||
log=/tmp/make-cmds.log
|
|||
|
defs.mk, timed-make-shell.sh: Beautify make benchmark
Signed-off-by: Jan Lindemann <jan@janware.com>
|
/usr/bin/time --format "%E $*" -ao $log /bin/bash -c "$*"
|
||
|
|
|