|
| From: | Peter Halliday |
| Subject: | [bug #26075] $(wildcard) function holds parent directories open preventing deletes |
| Date: | Fri, 03 Apr 2009 09:33:44 +0000 |
| User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.8) Gecko/2009032609 Firefox/3.0.8 (.NET CLR 3.5.30729) |
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/
| [Prev in Thread] | Current Thread | [Next in Thread] |