diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/mktexlsr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/mktexlsr b/Master/texmf-dist/scripts/texlive/mktexlsr index bd3eb50d6e4..f5b3507fdb9 100755 --- a/Master/texmf-dist/scripts/texlive/mktexlsr +++ b/Master/texmf-dist/scripts/texlive/mktexlsr @@ -69,7 +69,7 @@ case $dirname in export PATH ;; esac -if tty -s; then verbose=true; else verbose=false; fi +if tty -s >/dev/null 2>&1; then verbose=true; else verbose=false; fi dry_run=false trees= |