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