9 lines
		
	
	
	
		
			205 B
			
		
	
	
	
		
			Bash
		
	
	
	
	
	
		
		
			
		
	
	
			9 lines
		
	
	
	
		
			205 B
			
		
	
	
	
		
			Bash
		
	
	
	
	
	
|   | #!/usr/bin/awk -f
 | ||
|  | # extract linker version number from stdin and turn into single number | ||
|  | 	{ | ||
|  | 	gsub(".*)", ""); | ||
|  | 	split($1,a, "."); | ||
|  | 	print a[1]*10000000 + a[2]*100000 + a[3]*10000 + a[4]*100 + a[5]; | ||
|  | 	exit | ||
|  | 	} |