Add a new variable: MAKE_RESTARTS, to count how many times make has re-exec'd.