wok-current diff gnu-efi/receipt @ rev 24563
updated freeglut and freeglut-dev (3.2.1 -> 3.2.2)
author | Hans-G?nter Theisgen |
---|---|
date | Fri Feb 25 17:38:01 2022 +0100 (2022-02-25) |
parents | 776ff571c9e9 |
children | 8acd54cd1f4f |
line diff
1.1 --- a/gnu-efi/receipt Thu Feb 20 17:09:58 2020 +0100 1.2 +++ b/gnu-efi/receipt Fri Feb 25 17:38:01 2022 +0100 1.3 @@ -13,6 +13,13 @@ 1.4 1.5 BUILD_DEPENDS="linux-api-headers" 1.6 1.7 +# What is the latest version available today? 1.8 +current_version() 1.9 +{ 1.10 + wget -O - https://sourceforge.net/projects/gnu-efi/files/ 2>/dev/null | \ 1.11 + sed '/scope="row/!d;s|.*/files/gnu-efi-||;s|.tar.*||;q' 1.12 +} 1.13 + 1.14 # Rules to configure and make the package. 1.15 compile_rules() 1.16 {