# HG changeset patch # User Christophe Lincoln # Date 1244756558 -7200 # Node ID f21c160be928992697f26e98e8e11e67c0c90dc0 # Parent 937b735ce8b6b6b578d22cfae36bff0c755afc9d gamin: Fix make install in DESTDIR diff -r 937b735ce8b6 -r f21c160be928 gamin/receipt --- a/gamin/receipt Thu Jun 11 23:39:10 2009 +0200 +++ b/gamin/receipt Thu Jun 11 23:42:38 2009 +0200 @@ -21,8 +21,9 @@ --libexecdir=/usr/lib/gamin \ --infodir=/usr/share/info \ --mandir=/usr/share/man \ - $CONFIGURE_ARGS - make + $CONFIGURE_ARGS && + make && + mkdir -p $PWD/_pkg/usr/include && make DESTDIR=$PWD/_pkg install }