Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-10-13 14:54:52 -0700 (Tue, 13 Oct 1998)
Revision: 2514
Log message:

      Use "make -C $$i" instead of "cd $$i; make" to avoid problems in case directory
      does not exist.
      

Changes	Path
+12 -12	metaprl/Makefile
+5 -5	metaprl/refiner/Makefile