|
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] |