wok-next diff linux-dev/receipt @ 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 deed89212f83
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