diff --git a/scripts/timed-make-shell.sh b/scripts/timed-make-shell.sh
new file mode 100644
index 00000000..f890c9e6
--- /dev/null
+++ b/scripts/timed-make-shell.sh
@@ -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 "$*"
+