Patrick Georgi (patrick@georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/352
-gerrit
commit 23e3aa28c92fc2072584584d59a9c9a65ae8f64f Author: Patrick Georgi patrick@georgi-clan.de Date: Sat Oct 29 00:00:19 2011 +0200
crossgcc: Fix colors with dash
Ubuntu (and probably other distros) have dash as /bin/sh, which doesn't display colors by itself. If /usr/bin/printf is found, it's used instead of the internal printf to re-enable colors.
Change-Id: I3e6d413cd0c8a46ef91821d8c07e88166de58af4 Signed-off-by: Patrick Georgi patrick@georgi-clan.de --- util/crossgcc/buildgcc | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index 40444a5..a298dba 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -23,6 +23,11 @@ CROSSGCC_DATE="October 10th, 2011" CROSSGCC_VERSION="1.05"
+# To enable colors on dash(1) +if [ -x /usr/bin/printf ]; then +alias printf=/usr/bin/printf +fi + # default settings TARGETDIR=`pwd`/xgcc TARGETARCH=i386-elf