chkobjdump.awk 505 B

1234567891011121314151617181920212223
  1. # GNU objdump version checker
  2. #
  3. # Usage:
  4. # objdump -v | awk -f chkobjdump.awk
  5. BEGIN {
  6. # objdump version 2.19 or later is OK for the test.
  7. od_ver = 2;
  8. od_sver = 19;
  9. }
  10. /^GNU/ {
  11. split($4, ver, ".");
  12. if (ver[1] > od_ver ||
  13. (ver[1] == od_ver && ver[2] >= od_sver)) {
  14. exit 1;
  15. } else {
  16. printf("Warning: objdump version %s is older than %d.%d\n",
  17. $4, od_ver, od_sver);
  18. print("Warning: Skipping posttest.");
  19. # Logic is inverted, because we just skip test without error.
  20. exit 0;
  21. }
  22. }