diff options
Diffstat (limited to 'scripts/localplt.awk')
| -rw-r--r-- | scripts/localplt.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/localplt.awk b/scripts/localplt.awk index f75b3b427b..beaa342922 100644 --- a/scripts/localplt.awk +++ b/scripts/localplt.awk @@ -7,7 +7,7 @@ BEGIN { result = 0 } FILENAME != lastfile { - if (lastfile && jmprel_offset == 0) { + if (lastfile && jmprel_offset == 0 && rela_offset == 0 && rel_offset == 0) { print FILENAME ": *** failed to find expected output (readelf -WSdr)"; result = 2; } |