| 
							
							if [ $# -ne 1 ]
 | 
						
						
						
						
							 | 
							
							then
 | 
						
						
						
						
							 | 
							
							    print_failure "Wrong number of arguments after module; need HEADER_NAME."
 | 
						
						
						
						
							 | 
							
							    echo "HEADER_NAME is the name of the header file."
 | 
						
						
						
						
							 | 
							
							    exit 1
 | 
						
						
						
						
							 | 
							
							fi
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							HEADER_NAME=$1
 | 
						
						
						
						
							 | 
							
							shift
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							do_parameter_subst NAME HEADER_NAME
 | 
						
						
						
						
							 | 
							
							true
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							# vim: syntax=sh:expandtab:ts=4:sw=4
 |