wok rev 3368

gamin: Fix make install in DESTDIR
author Christophe Lincoln <pankso@slitaz.org>
date Thu Jun 11 23:42:38 2009 +0200 (2009-06-11)
parents 937b735ce8b6
children 56ae9173bddb
files gamin/receipt
line diff
     1.1 --- a/gamin/receipt	Thu Jun 11 23:39:10 2009 +0200
     1.2 +++ b/gamin/receipt	Thu Jun 11 23:42:38 2009 +0200
     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