URL:
<http://savannah.gnu.org/bugs/?26075>
Summary: $(wildcard) function holds parent directories open
preventing deletes
Project: make
Submitted by: centraspike
Submitted on: Fri 03 Apr 2009 09:33:42 GMT
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: 3.81
Operating System: MS Windows
Fixed Release: None
_______________________________________________________
Details:
Apologies for the windows stuff but the following makefile clean target does
not work:
all: $(filter-out $(wildcard build\release), build\release)
build\release:
mkdir build\release
clean:
rmdir /Q /S build
First do gmake all then try gmake clean. The following error occurs:
rmdir /Q /S build
The process cannot access the file because it is being used by another
process.
gmake: *** [clean] Error 32
I have managed to trace the cause to the fact that the wildcard function
opens a handle to the build directory in order to check if the release
directory exists and then does not release the handle till gmake exits
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Fri 03 Apr 2009 09:33:42 GMT Name: makefile Size: 131B By:
centraspike
Example makefile
<http://savannah.gnu.org/bugs/download.php?file_id=17857>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?26075>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-make
