Fix branding.

This commit is contained in:
Roy Marples 2008-01-29 14:55:35 +00:00
parent 9112bd58ca
commit 39d88dc809

View File

@ -799,7 +799,7 @@ int main (int argc, char **argv)
ecolor (ECOLOR_GOOD), ecolor (ECOLOR_HILITE),
ecolor (ECOLOR_NORMAL), ecolor (ECOLOR_BRACKET));
#ifdef BRANDING
printf (BRANDING " (%s)", uts.arch);
printf (BRANDING " (%s)", uts.machine);
#else
printf ("%s %s (%s)",
uts.sysname,