Re:An opinionated approach to GNU Make
by wk_end on Sunday August 21, 2022 @01:51PM
(#32542604)
> The key message here, of course, is to choose a specific shell. If you’d rather use ZSH, or Python or Node for that matter, set it to that. Pick a specific language so you can stop targeting a lowest common denominator
Seems like dash would be fine for the author.