diff options
author | Daniel Shahaf <d.s@daniel.shahaf.name> | 2017-09-21 18:17:02 +0000 |
---|---|---|
committer | Daniel Shahaf <d.s@daniel.shahaf.name> | 2017-09-21 18:17:19 +0000 |
commit | ced82745eace69a8bbe0f187d8caa7cb6347f50d (patch) | |
tree | b7befa6045351610d79dd4267e9785fb51ba2f7e /Src/utils.c | |
parent | 15bed0db4085f51f223f7193eede41a112b71c82 (diff) | |
download | zsh-ced82745eace69a8bbe0f187d8caa7cb6347f50d.tar.gz zsh-ced82745eace69a8bbe0f187d8caa7cb6347f50d.tar.xz zsh-ced82745eace69a8bbe0f187d8caa7cb6347f50d.zip |
unposted (cf. 41672): checkrmall: Record the 41672 bug in a TODO.
Diffstat (limited to 'Src/utils.c')
-rw-r--r-- | Src/utils.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Src/utils.c b/Src/utils.c index 0d71dda09..4c0ebe6f5 100644 --- a/Src/utils.c +++ b/Src/utils.c @@ -2709,6 +2709,9 @@ checkrmall(char *s) const int max_count = 100; if ((rmd = opendir(unmeta(s)))) { int ignoredots = !isset(GLOBDOTS); + /* ### TODO: Passing ignoredots here is wrong. See workers/41672 + aka <https://bugs.debian.org/875460>. + */ while (zreaddir(rmd, ignoredots)) { count++; if (count > max_count) |