Re: dejagnu-1.4.3 -- 'make DESTDIR=<some_where> install' failure + patch
Rob Savoye <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.bugs |
|---|---|
| Message-ID | <[email protected]> |
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 -