wok diff mingw32-gcc/receipt @ rev 22157
updated xdg-user-dirs (0.14 -> 0.17)
author | Hans-G?nter Theisgen |
---|---|
date | Thu Nov 07 10:01:05 2019 +0100 (2019-11-07) |
parents | 9e01bc6321ea |
children | afae00265386 |
line diff
1.1 --- a/mingw32-gcc/receipt Sun Dec 20 15:13:45 2015 +0100 1.2 +++ b/mingw32-gcc/receipt Thu Nov 07 10:01:05 2019 +0100 1.3 @@ -84,8 +84,8 @@ 1.4 post_install() 1.5 { 1.6 # Archives get stripped during packaging; need to run ranlib 1.7 - find "$1/usr/lib/gcc/$MINGW32_ID/" -name *.a -exec $MINGW32_ID-ranlib {} \; 1.8 - find "$1/usr/$MINGW32_ID/lib/" -name *.a -exec $MINGW32_ID-ranlib {} \; 1.9 + chroot "$1/" find "/usr/lib/gcc/$MINGW32_ID/" -name *.a -exec $MINGW32_ID-ranlib {} \; 1.10 + chroot "$1/" find "/usr/$MINGW32_ID/lib/" -name *.a -exec $MINGW32_ID-ranlib {} \; 1.11 } 1.12 1.13 # Rules to clean the package