Signed-off-by: Stephen Rothwell <sfr@canb.auug.org.au> Signed-off-by: Paul Mackerras <paulus@samba.org>
		
			
				
	
	
		
			33 lines
		
	
	
	
		
			878 B
			
		
	
	
	
		
			Bash
		
	
	
	
	
	
			
		
		
	
	
			33 lines
		
	
	
	
		
			878 B
			
		
	
	
	
		
			Bash
		
	
	
	
	
	
#!/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 "__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 "Syscall %s out of order (expected %s)\n",
 | 
						|
				$1, num;
 | 
						|
			exit(1);
 | 
						|
		};
 | 
						|
		num++;
 | 
						|
	}' "$1"
 |