jw-pkg/scripts/timed-make-shell.sh

#!/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 "$*"
timed-make-shell.sh: Add timed-make-shell.sh Signed-off-by: Jan Lindemann <jan@janware.com> 2015-06-19 11:20:31 +00:00			`#!/bin/bash`

			`shift # get rid of the '-c' supplied by make.`
pkg.sh: Fix build errors in gaflib projects Fix build errors in gaflib projects. This might kill some functionality, not sure. Signed-off-by: Jan Lindemann <jan@janware.com> 2017-02-24 17:50:02 +00:00			`log=/tmp/make-cmds.log`
defs.mk, timed-make-shell.sh: Beautify make benchmark Signed-off-by: Jan Lindemann <jan@janware.com> 2017-12-27 12:59:55 +00:00			`/usr/bin/time --format "%E $" -ao $log /bin/bash -c "$"`
timed-make-shell.sh: Add timed-make-shell.sh Signed-off-by: Jan Lindemann <jan@janware.com> 2015-06-19 11:20:31 +00:00