x86/tools/chkobjdump.awk

0001 # GNU objdump version checker
0002 #
0003 # Usage:
0004 # objdump -v | awk -f chkobjdump.awk
0005 BEGIN {
0006   # objdump version 2.19 or later is OK for the test.
0007   od_ver = 2;
0008   od_sver = 19;
0009 }
0010
0011 /^GNU objdump/ {
0012   verstr = ""
0013   gsub(/\(.*\)/, "");
0014   for (i = 3; i <= NF; i++)
0015     if (match($(i), "^[0-9]")) {
0016       verstr = $(i);
0017       break;
0018     }
0019   if (verstr == "") {
0020     printf("Warning: Failed to find objdump version number.\n");
0021     exit 0;
0022   }
0023   split(verstr, ver, ".");
0024   if (ver[1] > od_ver ||
0025       (ver[1] == od_ver && ver[2] >= od_sver)) {
0026     exit 1;
0027   } else {
0028     printf("Warning: objdump version %s is older than %d.%d\n",
0029            verstr, od_ver, od_sver);
0030     print("Warning: Skipping posttest.");
0031     # Logic is inverted, because we just skip test without error.
0032     exit 0;
0033   }
0034 }