Back to home page

LXR

 
 

    


0001 #!/usr/bin/awk -f
0002 # extract linker version number from stdin and turn into single number
0003         {
0004         gsub(".*\\)", "");
0005         gsub(".*version ", "");
0006         gsub("-.*", "");
0007         split($1,a, ".");
0008         print a[1]*100000000 + a[2]*1000000 + a[3]*10000;
0009         exit
0010         }