systbl_chk.sh 878 B

123456789101112131415161718192021222324252627282930313233
  1. #!/bin/sh
  2. #
  3. # Just process the CPP output from systbl_chk.c and complain
  4. # if anything is out of order.
  5. #
  6. # Copyright © 2008 IBM Corporation
  7. #
  8. # This program is free software; you can redistribute it and/or
  9. # modify it under the terms of the GNU General Public License
  10. # as published by the Free Software Foundation; either version
  11. # 2 of the License, or (at your option) any later version.
  12. awk 'BEGIN { num = -1; } # Ignore the beginning of the file
  13. /^#/ { next; }
  14. /^[ \t]*$/ { next; }
  15. /^START_TABLE/ { num = 0; next; }
  16. /^END_TABLE/ {
  17. if (num != $2) {
  18. printf "__NR_syscalls (%s) is not one more than the last syscall (%s)\n",
  19. $2, num - 1;
  20. exit(1);
  21. }
  22. num = -1; # Ignore the rest of the file
  23. }
  24. {
  25. if (num == -1) next;
  26. if (($1 != -1) && ($1 != num)) {
  27. printf "Syscall %s out of order (expected %s)\n",
  28. $1, num;
  29. exit(1);
  30. };
  31. num++;
  32. }' "$1"