Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-15 15:01:21 -0700 (Wed, 15 Oct 2003)
Revision: 4993
Log message:

      - When .omakedb is present, use omake instead of make for check-status.
      - Adding itt_rat to make (already was in omake).
      - Fixing "make clean" in theories/base (I accidentally broke it recently).
      - Removing a weird .camlinit that was there from the beginning of time.
      

Changes	Path
Deleted	metaprl/theories/base/.camlinit
+1 -1	metaprl/theories/base/Makefile
+2 -1	metaprl/theories/itt/Makefile
+5 -1	metaprl/util/check-status.sh