wok diff sheerdns/receipt @ rev 25020
updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author | Hans-G?nter Theisgen |
---|---|
date | Wed May 18 08:05:48 2022 +0100 (2022-05-18) |
parents | 8dd8bab3f0ca |
children | 4f225ad3e12e |
line diff
1.1 --- a/sheerdns/receipt Thu Jan 24 14:51:04 2019 +0100 1.2 +++ b/sheerdns/receipt Wed May 18 08:05:48 2022 +0100 1.3 @@ -11,6 +11,13 @@ 1.4 WGET_URL="${WEB_SITE}$TARBALL" 1.5 CONFIG_FILES="/var/sheerdns" 1.6 1.7 +# What is the latest version available today? 1.8 +current_version() 1.9 +{ 1.10 + wget -O - https://github.com/taraszka/sheerdns-ng/commits/master 2>/dev/null | \ 1.11 + sed '/Commits on/!d;s|.*on |"|;s|<.*|"|;q' | xargs date +%Y%m%d -d 1.12 +} 1.13 + 1.14 # Rules to configure and make the package. 1.15 compile_rules() 1.16 {