command line argument consistency

Stephen Weeks MLton@sourcelight.com
Mon, 25 Jun 2001 18:16:01 -0700


> The only change, on thinking a bit more, would be the -i thing.  It isn't
> that much like -I, so I would add a space there.

I thought that we had stolen -i from gcc, but in looking at the man pages I see
that we didn't.  How about we go like gcc and do 
	-include file