On 1/30/19 3:56 PM, Paul Eggert wrote:
> we should retire this obsolete use of CANNOT_DUMP and rename the 
> identifier to something more reasonable (e.g., to PORTABLE_DUMP as 
> Glenn suggested).

After looking into this I realized that PORTABLE_DUMP was not a good 
name, as CANNOT_DUMP meant "do not support unexec" not "support the 
portable dumper". So I replaced CANNOT_DUMP with HAVE_UNEXEC instead 
(negating all uses), by installing the attached patch into master.