wok diff opensp-dev/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: 23c3aed67cd9
children: 65ff25c4de90
     1.1 --- a/opensp-dev/receipt	Thu Dec 05 20:23:08 2013 +0000
     1.2 +++ b/opensp-dev/receipt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  {
     1.5  	mkdir -p $fs/usr/lib $fs/usr/share
     1.6  	
     1.7 -	cp -a $_pkg/usr/lib/*.*a $fs/usr/lib
     1.8 -	cp -a $_pkg/usr/include $fs/usr/
     1.9 +	cp -a $install/usr/lib/*.*a $fs/usr/lib
    1.10 +	cp -a $install/usr/include $fs/usr/
    1.11  }
    1.12