wok diff graveman/receipt @ rev 12114

Firefox: use DuckDuckGo as default search engine
author Christophe Lincoln <pankso@slitaz.org>
date Tue Mar 13 09:11:53 2012 +0100 (2012-03-13)
parents 01132274fb89
children 7620b0571662
line diff
     1.1 --- a/graveman/receipt	Wed May 18 12:48:12 2011 +0200
     1.2 +++ b/graveman/receipt	Tue Mar 13 09:11:53 2012 +0100
     1.3 @@ -17,8 +17,8 @@
     1.4  {
     1.5  	cd $src
     1.6  	./configure \
     1.7 -		--prefix=/usr  &&
     1.8 -		make && 
     1.9 +		--prefix=/usr  $CONFIGURE_ARGS &&
    1.10 +		make &&
    1.11  		make DESTDIR=$DESTDIR install
    1.12  }
    1.13