diff options
Diffstat (limited to 'chapter08/gmp.xml')
| -rw-r--r-- | chapter08/gmp.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/gmp.xml b/chapter08/gmp.xml index 01dace92f..05e16722a 100644 --- a/chapter08/gmp.xml +++ b/chapter08/gmp.xml @@ -110,7 +110,7 @@ make html</userinput></screen> instruction". In this case, gmp should be reconfigured with the option <option>--host=none-linux-gnu</option> and rebuilt.</para></caution> - <para>Ensure that all 197 tests in the test suite passed. + <para>Ensure that all 199 tests in the test suite passed. Check the results by issuing the following command:</para> <screen><userinput remap="test">awk '/# PASS:/{total+=$3} ; END{print total}' gmp-check-log</userinput></screen> |