jw-pkg/scripts/timed-make-shell.sh
Jan Lindemann b9dc5ca4db 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

7 lines
152 B
Bash

#!/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