diff options
Diffstat (limited to 'Master/utils.sh')
-rwxr-xr-x | Master/utils.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/utils.sh b/Master/utils.sh index e611e7f6a07..4f371dfbc36 100755 --- a/Master/utils.sh +++ b/Master/utils.sh @@ -275,8 +275,6 @@ bad_sh() echo echo 'Your shell is likely to break some scripts of TeX Live. Please' echo 'update your /bin/sh first and try to install TeX Live later.' - echo 'GNU bash 1.14.5 will do, whereas bash 1.14.3 is known to have' - echo 'problems.' echo exit 1 fi @@ -411,7 +409,9 @@ show_error() locate_binaries() { - require_binaries touch sed awk gzip ln rm ls tar tr mkdir cat `echo $PAGER | sed 's@ .*@@'` pwd + require_binaries \ + pwd touch sed awk gzip ln rm ls tar tr mkdir cat \ + `echo $PAGER | sed 's@ .*@@'` } # convert standard names to our binary names. |