#! /bin/sh
exec make "$@"