4 ms·
In addition to all the features the sibling comments noted, it's important to note that there's no contradiction: bash is usually the scripting language one us
by mmt 8y ago
In addition to all the features the sibling comments noted, it's important to note that there's no contradiction:
bash is usually the scripting language one uses inside of a Makefile.
It's the default, although one could use any scripting language. Point being, there's no "Make" language, beyond the syntax for describing those dependency relationships and variable assignments.
- pletnes 8y agoI believe /bin/sh is the default, not bash. But this can be changed.
- mmt 8y agoYou're right that it's /bin/sh, but, since it could be (and is, in some cases) bash, it's not quite right to call it "not bash", either. I'll grant that the distinction is important, though, in the face of the history of #!/bin/sh Linux scripts with bashisms breaking upon the Debian/Ubuntu switch to dash. Even if you're on a system where /bin/sh is bash, it's safest to set SHELL in your GNU makefiles to bash explicitly, if that's what you you're writing in.