[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #37065] $(wildcard dir/*/.) is wrong (worked fine in 3.81)
From: |
Eli Zaretskii |
Subject: |
[bug #37065] $(wildcard dir/*/.) is wrong (worked fine in 3.81) |
Date: |
Sun, 28 Apr 2013 18:09:12 +0000 |
User-agent: |
Mozilla/5.0 (Windows NT 5.1; rv:20.0) Gecko/20100101 Firefox/20.0 |
Update of bug #37065 (project make):
Status: None => Fixed
Open/Closed: Open => Closed
Fixed Release: None => SCM
Triage Status: None => Verified
_______________________________________________________
Follow-up Comment #5:
Sorry, I missed the attached makefile.
This bug is now solved (commit 5667376). It was caused by a change in
string_glob: in 3.81 it tested whether each file name returned by 'glob'
actually existed, and discarded non-existent ones. Make 3.82 no longer does
that, and this exposed a bug in MS-Windows 'stat' which assigns no special
meaning to a file name that ends in "/."; it normalizes it, which removes the
period and the slash, and returns information about a file without making sure
it is a directory.
I solved this by using the local_stat wrapper on MS-Windows, which we arrange
to be called from 'glob'. It now detects this special case and verifies that
the parent directory exists and is a directory. We just need to remember
never to remove the GLOB_ALTDIRFUNC flag from the call to 'glob' ;-)
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?37065>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/