#!/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 "$*"