On Wed, Aug 06, 2014 at 02:24:46PM +0100, Patrick Welche wrote:
> I think you mean $DESTDIR ? (as per "-r" flag of build.sh)

$DESTDIR and -D flag, yes.

Martin

Reply via email to