bug-make
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]