wok-next diff grub/receipt @ rev 5751
openbox: fix openbox-session
author | Antoine Bodin <gokhlayeh@mailoo.org> |
---|---|
date | Fri Jul 02 18:35:53 2010 +0200 (2010-07-02) |
parents | dbf873bf74a8 |
children | 7b9886355889 |
line diff
1.1 --- a/grub/receipt Sun Mar 15 21:13:30 2009 +0000 1.2 +++ b/grub/receipt Fri Jul 02 18:35:53 2010 +0200 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 &&