[errdb] Strip platform error code for non-platform-generated errors

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/contrib/errdb/errdb.pl b/contrib/errdb/errdb.pl
index fc1919f6dae8860a6e93a9b57dc40226ceb7f74f..6423d83476c56900ce48e7a2d349cfaf881fd747 100755 (executable)
--- a/contrib/errdb/errdb.pl
+++ b/contrib/errdb/errdb.pl
@@ -73,6 +73,7 @@ my $xrefs = {};
 while ( <> ) {
   chomp;
   ( my $errno, my $filename, my $line, my $description ) = split ( /\t/ );
+  $errno = substr ( $errno, 0, 6 ) unless $errno =~ /^7f/;
   $errors->{$errno} = $description;
   $xrefs->{$errno} ||= {};
   $xrefs->{$errno}->{$filename} ||= {};