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