wok-current diff checker_online/receipt @ rev 24526

updated exempi and exempi-dev (2.5.1 -> 2.6.1)
author Hans-G?nter Theisgen
date Tue Feb 22 17:39:50 2022 +0100 (2022-02-22)
parents d8c511e24c20
children
line diff
     1.1 --- a/checker_online/receipt	Fri Feb 18 22:59:06 2022 +0000
     1.2 +++ b/checker_online/receipt	Tue Feb 22 17:39:50 2022 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  current_version()
     1.5  {
     1.6  	wget -O - $WEB_SITE/commits/master 2>/dev/null | \
     1.7 -	sed '/commits_list_item/!d;s|.*commits/\(.......\).*|\1|;q'
     1.8 +	sed '/Commits on/!d;s|.*on |"|;s|<.*|"|;q' | xargs date +%Y -d
     1.9  }
    1.10  
    1.11  # Rules to configure and make the package.