At line 95, <br>if test ! -d "$1" is true, <br>without  shift before continue the input args is not consumed and the condition is again evaluated as true,<br>resulting into an endless loop.<br>Fix: add  shift before continue.<br>
<br><br>*** mktexlsr.orig    2011-06-27 23:01:48.000000000 +0200<br>--- mktexlsr    2011-06-28 00:12:13.000000000 +0200<br>***************<br>*** 95,100 ****<br>--- 95,101 ----<br>    else<br>      if test ! -d "$1"; then<br>
        echo "$progname: $1: not a directory, skipping." >&2<br>+       shift <br>        continue<br>      fi<br>      # By saving the argument in a file, we can later get it back while<br><br>-- <br>luigi<br>
<br clear="all"><br><br>