diff options
-rw-r--r-- | chapter02/hostreqs.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/chapter02/hostreqs.xml b/chapter02/hostreqs.xml index 6fe087d9e..0ba38e1db 100644 --- a/chapter02/hostreqs.xml +++ b/chapter02/hostreqs.xml @@ -157,7 +157,6 @@ <para >To see whether your host system has all the appropriate versions, and the ability to compile programs, run the following:</para> -<!-- ANY additional lines in the script cause a pdf rendering problem--> <screen role="nodump"><userinput>cat > version-check.sh << "EOF" <literal>#!/bin/bash # Simple script to list version numbers of critical development tools @@ -208,7 +207,7 @@ sed --version | head -n1 tar --version | head -n1 makeinfo --version | head -n1 # texinfo version xz --version | head -n1 -<?hard-pagebreak?> + echo 'int main(){}' > dummy.c && g++ -o dummy dummy.c if [ -x dummy ] then echo "g++ compilation OK"; |