# 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 = "" | |
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; | |
} | |
} |