wok-next rev 20323
fix vice
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Sat Nov 11 23:40:00 2017 +0100 (2017-11-11) |
parents | e93a94f7f25b |
children | 731f74708293 |
files | linux-dev/receipt vice/receipt |
line diff
1.1 --- a/linux-dev/receipt Sat Nov 11 18:54:50 2017 +0100 1.2 +++ b/linux-dev/receipt Sat Nov 11 23:40:00 2017 +0100 1.3 @@ -37,6 +37,12 @@ 1.4 fi 1.5 fi 1.6 1.7 + make mrproper && 1.8 + make headers_check && 1.9 + make INSTALL_HDR_PATH=$DESTDIR/usr headers_install 1.10 + 1.11 + find $install \( -name .install -o -name ..install.cmd \) -delete 1.12 + 1.13 # Get and apply Aufs patches 1.14 . $WOK/linux/stuff/tools/aufs-patches 1.15 1.16 @@ -62,12 +68,6 @@ 1.17 patch -p1 -i $stuff/installmandocs.patch 1.18 1.19 make mandocs && make installmandocs 1.20 - 1.21 - make mrproper && 1.22 - make headers_check && 1.23 - make INSTALL_HDR_PATH=$DESTDIR/usr headers_install 1.24 - 1.25 - find $install \( -name .install -o -name ..install.cmd \) -delete 1.26 } 1.27 1.28