diff options
Diffstat (limited to 'prologue')
| -rw-r--r-- | prologue/hostreqs.xml | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/prologue/hostreqs.xml b/prologue/hostreqs.xml index 5961b773a..cf7c711e0 100644 --- a/prologue/hostreqs.xml +++ b/prologue/hostreqs.xml @@ -146,18 +146,16 @@ <para id="version-check">To see whether your host system has all the appropriate versions, and the ability to compile programs, run the following:</para> -<!--<anchor xreflabel="Version Check Script" id="version-check"/>--> +<!-- ANY additional lines in the script cause a pdf rendering problem--> <screen role="nodump"><userinput>cat > version-check.sh << "EOF" <literal>#!/bin/bash -export LC_ALL=C - # Simple script to list version numbers of critical development tools +export LC_ALL=C bash --version | head -n1 | cut -d" " -f2-4 echo "/bin/sh -> `readlink -f /bin/sh`" echo -n "Binutils: "; ld --version | head -n1 | cut -d" " -f3- bison --version | head -n1 - if [ -e /usr/bin/yacc ]; then echo "/usr/bin/yacc -> `readlink -f /usr/bin/yacc`"; else echo "yacc not found"; fi @@ -167,7 +165,6 @@ echo -n "Coreutils: "; chown --version | head -n1 | cut -d")" -f2 diff --version | head -n1 find --version | head -n1 gawk --version | head -n1 - if [ -e /usr/bin/awk ]; then echo "/usr/bin/awk -> `readlink -f /usr/bin/awk`"; else echo "awk not found"; fi @@ -187,10 +184,10 @@ echo "Texinfo: `makeinfo --version | head -n1`" xz --version | head -n1 echo 'main(){}' > dummy.c && gcc -o dummy dummy.c -if [ -x dummy ]; then echo "gcc compilation OK"; +if [ -x dummy ] + then echo "gcc compilation OK"; else echo "gcc compilation failed"; fi -rm -f dummy.c dummy -</literal> +rm -f dummy.c dummy</literal> EOF bash version-check.sh</userinput></screen> |