wok diff grub/receipt @ rev 3950

Update: Rocrail (TOOLPREFIX)
author Matthew Sheets <rcx@zoominternet.net>
date Mon Aug 24 13:40:38 2009 +0000 (2009-08-24)
parents dbf873bf74a8
children 7b9886355889
line diff
     1.1 --- a/grub/receipt	Sun Mar 15 21:13:30 2009 +0000
     1.2 +++ b/grub/receipt	Mon Aug 24 13:40:38 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 &&