wok-next rev 21184

aufs-utils: inserted make headers_install
author: Hans-G?nter Theisgen
date: Sun Sep 22 17:16:53 2019 +0100 (2019-09-22)
parents: a6006e4d6468
children: 1c5531c6522b
files: aufs-utils/receipt
     1.1 --- a/aufs-utils/receipt	Fri Aug 23 00:15:32 2019 +0300
     1.2 +++ b/aufs-utils/receipt	Sun Sep 22 17:16:53 2019 +0100
     1.3 @@ -19,6 +19,7 @@
     1.4  compile_rules() {
     1.5  	KERNEL_VERSION=$(. $WOK/linux/receipt; echo $VERSION)
     1.6  
     1.7 +	make headers_install DESTDIR=$install &&
     1.8  	make &&
     1.9  	make DESTDIR=$install install
    1.10  }