Andi Kleen | ccbef16 | 2014-02-08 09:01:13 +0100 | [diff] [blame] | 1 | #!/usr/bin/awk -f |
| 2 | # extract linker version number from stdin and turn into single number |
| 3 | { |
| 4 | gsub(".*)", ""); |
Michael S. Tsirkin | 8083013 | 2016-01-07 19:55:24 +0200 | [diff] [blame^] | 5 | gsub(".*version ", ""); |
| 6 | gsub("-.*", ""); |
Andi Kleen | ccbef16 | 2014-02-08 09:01:13 +0100 | [diff] [blame] | 7 | split($1,a, "."); |
James Hogan | d5ece1c | 2015-12-26 22:47:52 +0000 | [diff] [blame] | 8 | print a[1]*100000000 + a[2]*1000000 + a[3]*10000 + a[4]*100 + a[5]; |
Andi Kleen | ccbef16 | 2014-02-08 09:01:13 +0100 | [diff] [blame] | 9 | exit |
| 10 | } |