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

#!/bin/bash

shift  # get rid of the '-c' supplied by make.
log=/tmp/make-cmds.log
echo running "$*" >> $log
time /bin/bash -c "$*" 2>&1 | tee -a $log
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`
			`echo running "$*" >> $log`
			`time /bin/bash -c "$*" 2>&1 \| tee -a $log`
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