Choosing the Shell (GNU make)
Choosing the Shell (GNU make)
www.gnu.org