wok-next diff gamin/receipt @ rev 8066

mirror-tools: add dir-generator.php
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Jan 21 11:09:19 2011 +0100 (2011-01-21)
parents 96a2c64fe0bd
children 92d66db6d2b5
line diff
     1.1 --- a/gamin/receipt	Thu Jun 11 16:33:00 2009 +0200
     1.2 +++ b/gamin/receipt	Fri Jan 21 11:09:19 2011 +0100
     1.3 @@ -21,8 +21,9 @@
     1.4  		--libexecdir=/usr/lib/gamin \
     1.5  		--infodir=/usr/share/info \
     1.6  		--mandir=/usr/share/man \
     1.7 -		$CONFIGURE_ARGS
     1.8 -	make
     1.9 +		$CONFIGURE_ARGS &&
    1.10 +	make &&
    1.11 +	mkdir -p $PWD/_pkg/usr/include &&
    1.12  	make DESTDIR=$PWD/_pkg install
    1.13  }
    1.14