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

 1#!/usr/bin/awk -f
 2# extract linker version number from stdin and turn into single number
 3	{
 4	gsub(".*\\)", "");
 5	gsub(".*version ", "");
 6	gsub("-.*", "");
 7	split($1,a, ".");
 8	print a[1]*100000000 + a[2]*1000000 + a[3]*10000;
 9	exit
10	}