Christopher C Chimelis <chris@classnet.med.miami.edu> writes: > Yes. I've submitted them, but so far, they haven't been incorporated. > I'll attach them below.... [...] > -OS_TYPE=linux # Linux-based GNU systems > +#OS_TYPE=linux # Linux-based GNU systems > +OS_TYPE=linux-alpha # Linux-based GNU Alpha systems [...] Eh, if that isn't conditionalized somehow, I'm not surprised. -- James