this is the original
chomp($header_page_offset);
$header_page_offset =~ s/^$pattern \(?0x([0-9a-fA-F]{8,}).*$/$1/;
if ($header_page_offset =~ /[0-9a-fA-F]{8,}/) {
# We found a valid page offset
if (defined($gSystem{'page_offset'}) and
not (lc($header_page_offset) eq lc($gSystem{'page_offset'}))) {
if ($source eq 'user') {
print wrap('The kernel defined by this directory of header files does '
. 'not have the same address space size as your running '
. 'kernel.' . "\n\n", 0);
}
return '';
}
}
return $answer;
}
__________________________________________
make it look like the following
chomp($header_page_offset);
$header_page_offset =~ s/^$pattern \(?0x([0-9a-fA-F]{8,}).*$/$1/;
# if ($header_page_offset =~ /[0-9a-fA-F]{8,}/) {
# We found a valid page offset
# if (defined($gSystem{'page_offset'}) and
# not (lc($header_page_offset) eq lc($gSystem{'page_offset'}))) {
# if ($source eq 'user') {
# print wrap('The kernel defined by this directory of header files does '
# . 'not have the same address space size as your running '
# . 'kernel.' . "\n\n", 0);
# }
# return '';
# }
# }
return $answer;