[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/1.2.5.1i |
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 -