Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-11-21 22:11:47 -0800 (Sun, 21 Nov 1999)
Revision: 2860
Log message:

      "ocamlmktop -v" bug workaround.
      
      It turned out that "ocamlmktop -v" was not only printing the version number,
      but also creating an a.out file with Ocaml toploop. After this fix, it is going
      to put that toploop into /dev/null ...
      

Changes	Path
+5 -5	metaprl/mk/check_version.sh
+4 -4	metaprl/mk/preface