Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-15 13:04:30 -0800 (Mon, 15 Nov 2004)
Revision: 651
Log message:

      Added a "--dotomake" option to specify an alternative to $HOME/.omake
      

Changes	Path
Properties	omake
+1 -0	omake/.cvsignore
+1 -1	omake/Makefile.in
+1 -1	omake/OMakefile.in
+14 -9	omake/src/ir/omake_state.ml