1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
| # 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;
| }
| }
|
|
