Makefile - The hard way¶ Overview¶ Choosing default SHELL¶ SHELL = /bin/bash Reference¶ https://www.gnu.org/software/make/manual/html_node/Choosing-the-Shell.html