diff options
Diffstat (limited to 'chapter05/dejagnu.xml')
| -rw-r--r-- | chapter05/dejagnu.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/chapter05/dejagnu.xml b/chapter05/dejagnu.xml index c2c6a0057..b185c3365 100644 --- a/chapter05/dejagnu.xml +++ b/chapter05/dejagnu.xml @@ -36,6 +36,8 @@ GCC, Glibc, Grep, Make, and Sed</seg></seglistitem> <screen><userinput>make install</userinput></screen> +<para>To test the results, issue: <userinput>make check</userinput>.</para> + </sect2> |