[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-dejagnu] dejagnu 1.4.1 doesn't like exec-prefix != prefix
|
From: |
Ken Raeburn |
|
Subject: |
[Bug-dejagnu] dejagnu 1.4.1 doesn't like exec-prefix != prefix |
|
Date: |
01 Aug 2001 22:32:53 -0400 |
The search for runtest.exp uses paths relative to where the runtest
shell script is found, which is dependent on $exec_prefix. But
runtest.exp is installed under the share directory, which is based on
$prefix.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Bug-dejagnu] dejagnu 1.4.1 doesn't like exec-prefix != prefix,
Ken Raeburn <=