[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] dejagnu-1.4.3 -- 'make DESTDIR=<some_where> install' f

From: Rob Savoye
Subject: Re: [Bug-dejagnu] dejagnu-1.4.3 -- 'make DESTDIR=<some_where> install' failure + patch
Date: Tue, 12 Nov 2002 13:28:29 -0700
User-agent: Mutt/

On Mon, Nov 04, 2002 at 11:36:13AM +0100, Peter Breitenlohner wrote:

> I was pleased to see that dejagnu-1.4.3 supports
>       'make DESTDIR=<some_where> install'
> but unfortunately only in principle. Attached please find a patch that fixes
> this problem.

  Thanks for the patch. I never use DESTDIR, so I didn't notice it was
broken. I just checked this in.

        - rob -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]