diff options
| -rw-r--r-- | chapter06/gmp.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index 8593e90c1..27c413df9 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -47,8 +47,7 @@ <envar>CFLAGS</envar> in the environment, the configure script will attempt to configure for 64-bits and fail. Avoid this by invoking the configure command below with - <screen><userinput><parameter>ABI=32</parameter> ./configure ...</userinput> - </screen></para> +<screen role="nodump"><userinput><parameter>ABI=32</parameter> ./configure ...</userinput></screen></para> </note> <para>Prepare GMP for compilation:</para> |