wok diff mingw32-w32api/receipt @ rev 22219

updated xorg-libXmu and xorg-libXmu-dev (1.1.1 -> 1.1.3)
author: Hans-G?nter Theisgen
date: Mon Nov 11 16:47:53 2019 +0100 (2019-11-11)
parents: 9e01bc6321ea
children: afae00265386
     1.1 --- a/mingw32-w32api/receipt	Sun Dec 20 15:13:45 2015 +0100
     1.2 +++ b/mingw32-w32api/receipt	Mon Nov 11 16:47:53 2019 +0100
     1.3 @@ -54,7 +54,7 @@
     1.4  post_install()
     1.5  {
     1.6  	# Archives get stripped during packaging; need to run ranlib
     1.7 -	find "$1/usr/$MINGW32_ID/lib/" -name *.a -exec $MINGW32_ID-ranlib {} \;
     1.8 +	chroot "$1/" find "/usr/$MINGW32_ID/lib/" -name *.a -exec $MINGW32_ID-ranlib {} \;
     1.9  }
    1.10  
    1.11  # Rules to clean the package