| # GNU objdump version checker |
| # |
| # Usage: |
| # objdump -v | awk -f chkobjdump.awk |
| BEGIN { |
| # objdump version 2.19 or later is OK for the test. |
| od_ver = 2; |
| od_sver = 19; |
| } |
| |
| /^GNU objdump/ { |
| verstr = "" |
| gsub(/\(.*\)/, ""); |
| for (i = 3; i <= NF; i++) |
| if (match($(i), "^[0-9]")) { |
| verstr = $(i); |
| break; |
| } |
| if (verstr == "") { |
| printf("Warning: Failed to find objdump version number.\n"); |
| exit 0; |
| } |
| split(verstr, ver, "."); |
| if (ver[1] > od_ver || |
| (ver[1] == od_ver && ver[2] >= od_sver)) { |
| exit 1; |
| } else { |
| printf("Warning: objdump version %s is older than %d.%d\n", |
| verstr, od_ver, od_sver); |
| print("Warning: Skipping posttest."); |
| # Logic is inverted, because we just skip test without error. |
| exit 0; |
| } |
| } |