wok diff mingw32-gcc/receipt @ rev 18376

simh: race condition (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Sep 17 10:52:10 2015 +0200 (2015-09-17)
parents 380ffe05937a
children 9e01bc6321ea
line diff
     1.1 --- a/mingw32-gcc/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/mingw32-gcc/receipt	Thu Sep 17 10:52:10 2015 +0200
     1.3 @@ -30,6 +30,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	mkdir -p $DESTDIR/usr/share/man/man1 $DESTDIR/usr/share/man/man7 
     1.8  	if [ "$MINGW32_ID" != "$MINGW32_TARGET" ] ; then
     1.9  		echo "ERROR: Conf 'TARGET' string differs from Receipt 'ID' string"
    1.10  		return 1