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