Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-08-09 12:51:17 -0700 (Tue, 09 Aug 2005)
Revision: 1330
Log message:

      Doh!  Win32 includes the quotes in echo, like
      
      dos> echo "Hello world"
      "Hello world"
      

Changes	Path
+1 -1	omake/mk/make_gen
+3 -3	omake/src/Makefile
+3 -3	omake/src/Makefile.nt