diff options
Diffstat (limited to 'chapter05')
| -rw-r--r-- | chapter05/dejagnu.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index bae0ed7d9..8f097e816 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -41,6 +41,11 @@ <sect2 role="installation"> <title>Installation of DejaGNU</title> + <para>The most recent version of this package was released in 2004. Apply + some fixes that have accumulated since then:</para> + +<screen><userinput remap="pre">patch -Np1 -i ../&dejagnu-consolidated-patch;</userinput></screen> + <para>Prepare DejaGNU for compilation:</para> <screen><userinput remap="configure">./configure --prefix=/tools</userinput></screen> |