command line argument consistency

Stephen Weeks MLton@sourcelight.com
Sun, 24 Jun 2001 17:26:48 -0700


What do y'all think about consistently using a space after all command line
switches?  Right now, we are doing it for everything except -D, -i, and -v.