Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-28 03:25:33 -0700 (Fri, 28 Oct 2005)
Revision: 8024
Log message:

      - Issue 538: At the end of the build process, delete any outdated binaries in
        editor/ml.
      
      - Issue 539: Added an MPRUN_ENABLED variable that controls whether to build
        the mp.run binary (defaults to false)
      
      - Renamed the old editor/ml/mp script into editor/ml/mprun (for consistency).
      
      - Updated the mpopt/mptop scripts to give a better error message when the
        corresponding binary does not exist.