wok diff linux-source/stuff/get-linux-source @ rev 16994

mplayer-opt: delete gui
author Xander Ziiryanoff <psychomaniak@xakep.ru>
date Sun Aug 10 01:59:37 2014 +0200 (2014-08-10)
parents df406884857b
children d19aadca30be
line diff
     1.1 --- a/linux-source/stuff/get-linux-source	Tue Jan 07 23:03:08 2014 +0000
     1.2 +++ b/linux-source/stuff/get-linux-source	Sun Aug 10 01:59:37 2014 +0200
     1.3 @@ -41,7 +41,6 @@
     1.4  fi
     1.5  
     1.6  cd /usr/src/linux-$VERSION
     1.7 -cp /usr/share/boot/initrd initrd.cpio
     1.8  while read patch_file; do
     1.9  	echo "Apply $patch_file"
    1.10  	patch -p1 < slitaz/$patch_file