"check summary" message, whether invoked from the top-level directory
or from the workarea.
Makefile.in, Makefile-workarea.in
- configure now just uses cat to copy Makefile-workarea.in to $w/workarea,
since the file is presently the same regardless of the configuration.
configure
original commit: 1d438978dfedef9a47839b3ee302196aa5d8eda1