wok-undigest rev 704

mingw32-w32api: no make install (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Tue May 29 13:15:15 2012 +0200 (2012-05-29)
parents 7fb1fcf86f13
children 160aac08c1aa
files mingw32-w32api/receipt
line diff
     1.1 --- a/mingw32-w32api/receipt	Tue May 29 13:10:37 2012 +0200
     1.2 +++ b/mingw32-w32api/receipt	Tue May 29 13:15:15 2012 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  	fi
     1.5  
     1.6  	rm -f -r $src/binutils
     1.7 -	mkdir -p $SOURCE-$VERSION-build
     1.8 +	mkdir -p $SOURCE-$VERSION-build $DESTDIR/usr/lib
     1.9  	cd $SOURCE-$VERSION-build
    1.10  	
    1.11  	# NOTE: DESTDIR not handled correctly; have to fudge --prefix