diff options
| author | Masahiro Yamada <[email protected]> | 2021-07-05 15:06:54 +0900 |
|---|---|---|
| committer | Masahiro Yamada <[email protected]> | 2021-07-09 04:00:39 +0900 |
| commit | c6a3a81d19b834e3aed819027f022c5938fca2ec (patch) | |
| tree | f44a9b2ced0e0d8d9ca894cad174dbb807ee3ec2 /lib/mpi/mpi-add.c | |
| parent | a0e781a2a35a8dd4e6a38571998d59c6b0e32cd8 (diff) | |
scripts: check duplicated syscall number in syscall table
Currently, syscall{hdr,tbl}.sh sorts the entire syscall table, but you
can assume it is already sorted by the syscall number.
The generated syscall table does not work if the same syscall number
appears twice. Check it in the script.
Signed-off-by: Masahiro Yamada <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-add.c')
0 files changed, 0 insertions, 0 deletions