Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-15 11:21:13 -0800 (Tue, 15 Mar 2005)
Revision: 811
Log message:
Print a nicer error when OMakeroot is not found.
Changes | Path |
+4 -0 | omake/src/env/omake_env.ml |
+4 -0 | omake/src/env/omake_env.mli |
+3 -0 | omake/src/env/omake_exn_print.ml |
+1 -1 | omake/src/main/omake_main.ml |