Most of the Makefiles in the code base does not explicitly set the shell to use. This can lead to different behaviors depending on what /bin/sh links. For example the Makefile at root contains some commands that only exist in bash so if the local /bin/sh implementation is dash the developer might encounter some unexpected failures.