hc
2023-10-25 6c2073b7aa40e29d0eca7d571dd7bc590c7ecaa7
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
#!/bin/sh
#
# Just process the CPP output from systbl_chk.c and complain
# if anything is out of order.
#
# Copyright © 2008 IBM Corporation
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version
# 2 of the License, or (at your option) any later version.
 
awk    'BEGIN { num = -1; }    # Ignore the beginning of the file
   /^#/ { next; }
   /^[ \t]*$/ { next; }
   /^START_TABLE/ { num = 0; next; }
   /^END_TABLE/ {
       if (num != $2) {
           printf "Error: NR_syscalls (%s) is not one more than the last syscall (%s)\n",
               $2, num - 1;
           exit(1);
       }
       num = -1;    # Ignore the rest of the file
   }
   {
       if (num == -1) next;
       if (($1 != -1) && ($1 != num)) {
           printf "Error: Syscall %s out of order (expected %s)\n",
               $1, num;
           exit(1);
       };
       num++;
   }' "$1"