> Date: Sat, 18 Oct 1997 11:05:19 +0100 > From: Richard Earnshaw <rearnsha@arm.com> > > How about -Wunknown-pragmas ? It's also shorter. > > Richard. An excellent idea. I have made the change. Nick