[OpenBIOS] Allow building on Mac OS X

[Lennart Sorensen]

On Tue, Apr 14, 2015 at 12:39:09AM -0400, Programmingkid wrote:
> Come on people, switch to bash. It's better. What would we miss if we did switch to bash?

bash is a better interactive shell.  It is also _much_ slower at starting
than dash, so as a shell for scripts, performance is noticeably better
with dash as long as your scripts don't require bash features (most don't,
but some legitimately do use some of bash's advanced features).

Switching from bash to dash as /bin/sh knocked 15 seconds off the boot
time of an embedded system I work on.

But yes nothing wrong with using bash features as long as you explicitly
state your script wants /bin/bash, not /bin/sh.

-- 
Len Sorensen