wok diff xorg-xrdb/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: 558102e58daf
     1.1 --- a/xorg-xrdb/receipt	Wed Nov 13 16:58:12 2019 +0100
     1.2 +++ b/xorg-xrdb/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -15,6 +15,12 @@
     1.4  DEPENDS="xorg-libXmu"
     1.5  BUILD_DEPENDS="pkg-config"
     1.6  
     1.7 +current_version()
     1.8 +{
     1.9 +	wget -O - $(dirname $WGET_URL) 2>/dev/null | \
    1.10 +	sed "/$SOURCE-[0-9]/!d;/tar/!d;s|.*$SOURCE-\\(.*\\).tar.*\".*|\\1|" | sort -Vr | sed q
    1.11 +}
    1.12 +
    1.13  # Rules to configure and make the package.
    1.14  compile_rules()
    1.15  {