diff options
Diffstat (limited to 'chapter06/gmp.xml')
| -rw-r--r-- | chapter06/gmp.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index d7e13e256..4bc361a56 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -108,7 +108,7 @@ make html</userinput></screen> instruction". In this case, gmp should be reconfigured with the option --build=x86_64-unknown-linux-gnu and rebuilt.</para></caution> - <para>Ensure that all 190 tests in the test suite passed. + <para>Ensure that all 197 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> |