K 10 svn:author V 8 cperciva K 8 svn:date V 27 2013-03-19T05:08:25.998955Z K 7 svn:log V 154 Fix typo in previous commit: Exit if */dev/dumpdev* does not exist, not if */bin/realpath* does not exist... Submitted by: markj Pointy hat to: cperciva END