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  
     2.1 --- a/vice/receipt	Sat Nov 11 18:54:50 2017 +0100
     2.2 +++ b/vice/receipt	Sat Nov 11 23:40:00 2017 +0100
     2.3 @@ -16,6 +16,7 @@
     2.4  # Rules to configure and make the package.
     2.5  compile_rules()
     2.6  {
     2.7 +	unset HOME
     2.8  	./configure \
     2.9  		--prefix=/usr \
    2.10  		--enable-gnomeui \