wok-next diff linux-dev/receipt @ rev 21613

updated eboard (1.1.1 -> 1.1.3)
author: Hans-G?nter Theisgen
date: Thu Jun 25 10:33:28 2020 +0100 (2020-06-25)
parents: 5fe9c8951ce4
     1.1 --- a/linux-dev/receipt	Sat Feb 24 10:43:01 2018 +0200
     1.2 +++ b/linux-dev/receipt	Thu Jun 25 10:33:28 2020 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4  
     1.5  	make mrproper &&
     1.6  	make headers_check &&
     1.7 -	make INSTALL_HDR_PATH=$DESTDIR/usr headers_install
     1.8 +	make INSTALL_HDR_PATH=$install/usr headers_install
     1.9  
    1.10  	find $install \( -name .install -o -name ..install.cmd \) -delete
    1.11