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 } 9