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/ -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
