mirror of
ssh://git.janware.com/srv/git/janware/proj/jw-pkg
synced 2026-01-15 20:13:32 +01:00
6 lines
142 B
Bash
6 lines
142 B
Bash
#!/bin/bash
|
|
|
|
shift # get rid of the '-c' supplied by make.
|
|
log=/tmp/make-cmds.log
|
|
/usr/bin/time --format "%E $*" -ao $log /bin/bash -c "$*"
|
|
|