| 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 | 0d61ed1 | 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 | } |