2008-01-07 13:12:44 +08:00
|
|
|
#!/bin/sh
|
2019-05-27 14:55:01 +08:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-or-later
|
2008-01-07 13:12:44 +08:00
|
|
|
#
|
|
|
|
# Just process the CPP output from systbl_chk.c and complain
|
|
|
|
# if anything is out of order.
|
|
|
|
#
|
2008-01-18 09:06:01 +08:00
|
|
|
# Copyright © 2008 IBM Corporation
|
2008-01-07 13:12:44 +08:00
|
|
|
#
|
|
|
|
|
|
|
|
awk 'BEGIN { num = -1; } # Ignore the beginning of the file
|
|
|
|
/^#/ { next; }
|
|
|
|
/^[ \t]*$/ { next; }
|
|
|
|
/^START_TABLE/ { num = 0; next; }
|
|
|
|
/^END_TABLE/ {
|
|
|
|
if (num != $2) {
|
2018-04-30 11:27:36 +08:00
|
|
|
printf "Error: NR_syscalls (%s) is not one more than the last syscall (%s)\n",
|
2008-01-07 13:12:44 +08:00
|
|
|
$2, num - 1;
|
|
|
|
exit(1);
|
|
|
|
}
|
|
|
|
num = -1; # Ignore the rest of the file
|
|
|
|
}
|
|
|
|
{
|
|
|
|
if (num == -1) next;
|
|
|
|
if (($1 != -1) && ($1 != num)) {
|
2018-04-30 11:27:36 +08:00
|
|
|
printf "Error: Syscall %s out of order (expected %s)\n",
|
2008-01-07 13:12:44 +08:00
|
|
|
$1, num;
|
|
|
|
exit(1);
|
|
|
|
};
|
|
|
|
num++;
|
|
|
|
}' "$1"
|