wok diff php/receipt @ rev 25106
linux-libre: update wget_url
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Wed Jun 22 14:39:56 2022 +0000 (2022-06-22) |
parents | bcea19bfa7af |
children |
line diff
1.1 --- a/php/receipt Wed Apr 01 15:23:29 2020 +0100 1.2 +++ b/php/receipt Wed Jun 22 14:39:56 2022 +0000 1.3 @@ -23,6 +23,12 @@ 1.4 1.5 #HOST_ARCH="i486 arm" 1.6 1.7 +current_version() 1.8 +{ 1.9 + wget -O - $WEB_SITE 2>/dev/null | \ 1.10 + sed '/Released/!d;s|.*PHP ||;s| Rel.*||' | sort -Vr | sed q 1.11 +} 1.12 + 1.13 case "$ARCH" in 1.14 i?86) 1.15 # 7.4.4 unrecognised: