[coreboot-gerrit] Patch merged into coreboot/master: c087a9e toolchain: get rid of some bashisms

the following patch was just integrated into master:
commit c087a9e46988f1842ec5525607fa19953f9cbbad
Author: Aaron Durbin 
Date:   Thu May 8 11:14:41 2014 -0500

toolchain: get rid of some bashisms

On Ubuntu /bin/sh is symlinked to /bin/dash. The
    current toolchain.inc was doing some things that
    dash doesn't support. Make the shell callouts more
    conforming to the POSIX sh standard.

Change-Id: I26b6b82b8d6158c9029e8be9e7c088ca9e207f21
    Signed-off-by: Aaron Durbin 
    Reviewed-on: http://review.coreboot.org/5701
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/5701 for details.

-gerrit