wok diff open-vm-tools-kernel/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: 5ea0ce1cecc0
children: 7364ffdaaa60
     1.1 --- a/open-vm-tools-kernel/receipt	Tue Jun 08 08:46:05 2021 +0000
     1.2 +++ b/open-vm-tools-kernel/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4  current_version()
     1.5  {
     1.6  	wget -O - ${WGET_URL%/arch*}/releases 2>/dev/null | \
     1.7 -	sed '/release.*tar/!d;s|.*/open-vm-tools-\(.*\).tar.*|\1|;q'
     1.8 +	sed '/release.*tar.gz/!d;s|.*/open-vm-tools-\(.*\).tar.*|\1|;q'
     1.9  }
    1.10  
    1.11