blob: d135882e2c40936753c0dc7ffb0362d95532d2c3
| 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 | } |
| 11 |