diff options
-rwxr-xr-x | src/generator.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/generator.ml b/src/generator.ml index 1e7e90cf..2209e68b 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -4036,7 +4036,7 @@ C<names> is the list of files from this directory. On return you get a list of strings, with a one-to-one correspondence to the C<names> list. Each string is the -value of the symbol link. +value of the symbolic link. If the C<readlink(2)> operation fails on any name, then the corresponding result string is the empty string C<\"\">. |