wok-6.x diff grub/receipt @ rev 3489

Up: gnome-mplayer
author: Rohit Joshi <jozee@slitaz.org>
date: Wed Jun 17 18:04:24 2009 +0000 (2009-06-17)
parents: dbf873bf74a8
children: 7b9886355889
     1.1 --- a/grub/receipt	Sun Mar 15 21:13:30 2009 +0000
     1.2 +++ b/grub/receipt	Wed Jun 17 18:04:24 2009 +0000
     1.3 @@ -15,6 +15,11 @@
     1.4  compile_rules()
     1.5  {
     1.6  	cd $src
     1.7 +	for i in ../stuff/*.diff ; do
     1.8 +		[ -f $(basename $i) ] && continue
     1.9 +		patch -p1 < $i
    1.10 +		touch $(basename $i)
    1.11 +	done
    1.12  	./configure --prefix=/usr --infodir=/usr/share/info \
    1.13  	--mandir=/usr/share/man $CONFIGURE_ARGS &&
    1.14  	make &&