1#!/bin/sh 2 3MAKEPROG=gmake 4export MAKEPROG 5 6# gmake is called 'make' on Linux 7 8exec make "$@" 9