scripts/ld-version.sh

   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         }