4 lines
		
	
	
	
		
			88 B
		
	
	
	
		
			Text
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			4 lines
		
	
	
	
		
			88 B
		
	
	
	
		
			Text
		
	
	
		
			Executable file
		
	
	
	
	
| if ${MACH?} -I../../../h ${MACHFL?} $1 1>&2
 | |
| then echo `basename $1 $2`.m
 | |
| else exit 1
 | |
| fi
 |