wok diff jwm/receipt @ rev 3133

Remove bin86. Already exist in dev86
author Eric Joseph-Alexandre <erjo@slitaz.org>
date Wed May 20 16:13:00 2009 +0200 (2009-05-20)
parents 1a46cc76994f
children 4466fa74bc06
line diff
     1.1 --- a/jwm/receipt	Fri Mar 21 14:16:48 2008 +0100
     1.2 +++ b/jwm/receipt	Wed May 20 16:13:00 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