[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-dejagnu] dejagnu-1.4.3 -- 'make DESTDIR=<some_where> install' failu
|
From: |
Peter Breitenlohner |
|
Subject: |
[Bug-dejagnu] dejagnu-1.4.3 -- 'make DESTDIR=<some_where> install' failure + patch |
|
Date: |
Mon, 4 Nov 2002 11:36:13 +0100 (CET) |
Hi,
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.
regards
Peter Breitenlohner <address@hidden>
dejagnu-1.4.3-patch
Description: Text document
- [Bug-dejagnu] dejagnu-1.4.3 -- 'make DESTDIR=<some_where> install' failure + patch,
Peter Breitenlohner <=