wok-next diff linux/stuff/tools/install_module_headers.sh @ rev 21727

created recipe for vbindiff
author Hans-G?nter Theisgen
date Sat Nov 21 14:32:44 2020 +0100 (2020-11-21)
parents efd5fe5db61e
children
line diff
     1.1 --- a/linux/stuff/tools/install_module_headers.sh	Wed Feb 21 22:09:42 2018 +0200
     1.2 +++ b/linux/stuff/tools/install_module_headers.sh	Sat Nov 21 14:32:44 2020 +0100
     1.3 @@ -57,8 +57,8 @@
     1.4  
     1.5  # add dvb headers for external modules
     1.6  # in reference to http://bugs.archlinux.org/task/9912
     1.7 -mkdir -p                           $1/$path/drivers/media/dvb-core/
     1.8 -cp $src/drivers/media/dvb-core/*.h $1/$path/drivers/media/dvb-core/
     1.9 +# mkdir -p                           $1/$path/drivers/media/dvb-core/
    1.10 +# cp $src/drivers/media/dvb-core/*.h $1/$path/drivers/media/dvb-core/
    1.11  # and http://bugs.archlinux.org/task/11194
    1.12  if [ -d $src/include/config/dvb/ ]; then
    1.13  	mkdir -p                       $1/$path/include/config/dvb/