wok-next diff jwm/receipt @ rev 4337

Add gnu-efi
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Oct 01 09:53:56 2009 +0200 (2009-10-01)
parents 1a46cc76994f
children 4466fa74bc06
line diff
     1.1 --- a/jwm/receipt	Fri Mar 21 14:16:48 2008 +0100
     1.2 +++ b/jwm/receipt	Thu Oct 01 09:53:56 2009 +0200
     1.3 @@ -15,13 +15,14 @@
     1.4  compile_rules()
     1.5  {
     1.6  	cd $src
     1.7 -	patch -p1 < ../stuff/resize-backgound.u
     1.8 +	[ -f done.resize-backgound.u ] || patch -p1 < ../stuff/resize-backgound.u
     1.9 +	touch done.resize-backgound.u
    1.10  	./configure \
    1.11      	--prefix=/usr \
    1.12      	--mandir=/usr/share/man \
    1.13  		--sysconfdir=/etc/jwm \
    1.14  		--disable-fribidi \
    1.15 -		$CONFIGURE_ARGS
    1.16 +		$CONFIGURE_ARGS &&
    1.17  	make
    1.18  }
    1.19