janware/jw-pkg
1
mirror of ssh://git.janware.com/srv/git/janware/proj/jw-pkg synced 2026-01-15 12:03:31 +01:00
Code Activity

timed-make-shell.sh: Add timed-make-shell.sh

Browse source 
Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2015-06-19 11:20:31 +00:00
commit 153d2d8fd0
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
scripts/timed-make-shell.sh Normal file
View file

@ -0,0 +1,6 @@
#!/bin/bash
shift # get rid of the '-c' supplied by make.
echo running "$*" >>/tmp/make-cmds.log
time /bin/bash -c "$*"