[coreboot] [PATCH] Build fixes for buildrom

[Bernie Innocenti]

On 04/06/09 16:38, Mart Raudsepp wrote:
>> -tmp=`tempfile`
>> +tmp=`tempfile 2>/dev/null | echo /tmp/show-instructions.$$`
> 
> This change makes it always use /tmp/show-instructions.PID
> I believe you wanted || instead of a pipe there.

Oops, yes.  Thanks for spotting it.

-- 
   // Bernie Innocenti - http://www.codewiz.org/
 \X/  Sugar Labs       - http://www.sugarlabs.org/