| 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 | { |
| James Hogan | 4b7b1ef | 2016-03-08 16:47:53 +0000 | [diff] [blame] | 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, "."); |
| Maciej W. Rozycki | 0d61ed17 | 2016-02-11 14:25:43 +0000 | [diff] [blame] | 8 | print a[1]*100000000 + a[2]*1000000 + a[3]*10000; |
| Andi Kleen | ccbef16 | 2014-02-08 09:01:13 +0100 | [diff] [blame] | 9 | exit |
| 10 | } |