Porting/corelist.pl: fix a die error message
authorDavid Mitchell <davem@iabyn.com>
Mon, 4 Mar 2013 01:00:05 +0000 (01:00 +0000)
committerDavid Mitchell <davem@iabyn.com>
Mon, 4 Mar 2013 01:00:05 +0000 (01:00 +0000)
commitd9450ee2a9b1ca2063cf115b8a2b2dd9d73d30b3
tree1bd69d1f10edfe97bcf9701656be483259baae4f
parente4fbed9933a160e686160b37049c10610fdfb51e
Porting/corelist.pl: fix a die error message

One particular die() just printed a filename, without saying what was
wrong with it. Which was a bit confusing.
Porting/corelist.pl