Zack Weinberg wrote: >Alexandre Oliva <aoliva@redhat.com> writes: > > > >>Hmm... Maybe we don't have to. We do require GNU make now, don't we? >> >> > >I sure thought so. > Yes, we do. -- Mark Mitchell CodeSourcery, LLC (916) 791-8304 mark@codesourcery.com