[petsc-dev] make all-legacy broken

[Barry Smith]

  Satish,

   make all-legacy does not save the output to the make.log file any more. 
Please fix.

     Thanks

    Barry

Note that make all when it reverts to the legacy make does save the output but 
a run of make all-legacy does not save it anywhere.