wok-current diff linux-api-headers/receipt @ rev 25525
created recipe for lua5.1-lpeg 1.0.2
author | Hans-G?nter Theisgen |
---|---|
date | Fri Feb 24 17:54:40 2023 +0100 (18 months ago) |
parents | 4ea0eb3f4881 |
children | a23978bfa665 |
line diff
1.1 --- a/linux-api-headers/receipt Tue Dec 18 23:31:18 2018 +0100 1.2 +++ b/linux-api-headers/receipt Fri Feb 24 17:54:40 2023 +0100 1.3 @@ -19,6 +19,13 @@ 1.4 PATCH="$(dirname $WGET_URL)/patch-$VERSION.xz" && 1.5 EXTRA_SOURCE_FILES="$(basename $PATCH)" 1.6 1.7 +# What is the latest version available today? 1.8 +current_version() 1.9 +{ 1.10 + wget -O - $WEB_SITE 2> /dev/null | grep -A 1 longterm | \ 1.11 + sed '/strong/!d;s|.*<strong>||;s|</s.*||;q' 1.12 +} 1.13 + 1.14 # Rules to compile & install the temporary toolchain. 1.15 cook_tmp_toolchain() 1.16 {