K 10 svn:author V 3 mtm K 8 svn:date V 27 2008-07-06T07:51:29.808438Z K 7 svn:log V 149 Make checking for the availability of core dumps work in the case that $dumpdev is not set to "AUTO". Reported by: Paul B. Mahol END