Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-04 20:41:06 -0700 (Sat, 04 Jul 1998)
Revision: 2302
Log message:

      Finally "make -j" and "make -j opt" do everything right
      

Changes	Path
+4 -7	metaprl/refiner/Makefile