#! sh
exec make "$@"