wok-current diff linux-api-headers/receipt @ rev 25098
created recipe for notecase-lang
author | Hans-G?nter Theisgen |
---|---|
date | Sun Jun 19 17:25:42 2022 +0100 (2022-06-19) |
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 Sun Jun 19 17:25:42 2022 +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 {