3 # Just process the CPP output from systbl_chk.c and complain
4 # if anything is out of order.
6 # Copyright © 2008 IBM Corporation
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.
13 awk 'BEGIN { num = -1; } # Ignore the beginning of the file
16 /^START_TABLE/ { num = 0; next; }
19 printf "NR_syscalls (%s) is not one more than the last syscall (%s)\n",
23 num = -1; # Ignore the rest of the file
27 if (($1 != -1) && ($1 != num)) {
28 printf "Syscall %s out of order (expected %s)\n",