wok-6.x diff mingw32-w32api/receipt @ rev 21925
updated smplayer-themes (17.3.0 -> 18.6.0)
author | Hans-G?nter Theisgen |
---|---|
date | Sat Oct 05 20:13:38 2019 +0100 (2019-10-05) |
parents | 9e01bc6321ea |
children | afae00265386 |
line diff
1.1 --- a/mingw32-w32api/receipt Sun Dec 20 15:13:45 2015 +0100 1.2 +++ b/mingw32-w32api/receipt Sat Oct 05 20:13:38 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