Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-04-24 18:35:52 -0700 (Thu, 24 Apr 2003)
Revision: 46
Log message:

      This fixes the "don't know how to build xxxx.cmi" problem that
      Justin saw.
      

Changes	Path
+3 -5	omake/OMakeroot