wok diff buildbot/receipt @ rev 25503

f3: include extra programs
author: Hans-G?nter Theisgen
date: Fri Jan 27 10:37:43 2023 +0100 (16 months ago)
parents: bf28cc07ebf1
     1.1 --- a/buildbot/receipt	Fri Jul 09 10:46:05 2021 +0000
     1.2 +++ b/buildbot/receipt	Fri Jan 27 10:37:43 2023 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4  current_version()
     1.5  {
     1.6  	wget -O - ${WGET_URL%/down*} 2>/dev/null | \
     1.7 -	sed '/releases.tag/!d;s|.*/v\(.*\)".*|\1|;q'
     1.8 +	sed '/releases.tag/!d;s|.*/v\([^"]*\)".*|\1|;q'
     1.9  }
    1.10  
    1.11  # Rules to configure and make the package.