diff options
Diffstat (limited to 'prologue/hostreqs.xml')
| -rw-r--r-- | prologue/hostreqs.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/prologue/hostreqs.xml b/prologue/hostreqs.xml index f77d88105..2720db439 100644 --- a/prologue/hostreqs.xml +++ b/prologue/hostreqs.xml @@ -163,7 +163,11 @@ # 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`" +MYSH=$(readlink -f /bin/sh) +echo "/bin/sh -> $MYSH" +echo $MYSH | grep -qv bash || echo "ERROR: /bin/sh does not point to bash" +unset MYSH + echo -n "Binutils: "; ld --version | head -n1 | cut -d" " -f3- bison --version | head -n1 |