#!/usr/bin/env bash
echo "==$&%== Begin ${@}"
time make $@
echo "==$&%== End ${@}"