This is the mail archive of the
mailing list for the Cygwin project.
Re: make keeps an open handle to a file, can't delete parent directory
- From: "Larry Hall (Cygwin)" <reply-to-list-only-lh at cygwin dot com>
- To: cygwin at cygwin dot com
- Date: Wed, 24 Jan 2007 19:10:07 -0500
- Subject: Re: make keeps an open handle to a file, can't delete parent directory
- References: <45B7CCCF.email@example.com>
- Reply-to: cygwin at cygwin dot com
Alexander Sotirov wrote:
I am having a problem with GNU make 3.81 on cygwin 1.5.22. It looks like a
problem with cygwin and not make, but I am not sure exactly what's causing it.
I reduced my makefile to a minimal testcase and attached it to this email. The
makefile creates a foo/bar/ directory and then tries to remove it with rm -rf
foo. The rm command successfully removes the 'bar' directory, but then fails to
remove 'foo' because it's not empty. Running ls on foo shows that there is a
'bar' directory entry, it it doesn't have any ownership or timestamp information.
The output from running make is shown below:
asotirov@deter-alex foo $ make
asotirov@deter-alex foo $ make clear
rm -rf foo
rm: cannot remove directory `foo': Directory not empty
make: [clear] Error 1 (ignored)
ls -la foo
ls: cannot access foo/bar: No such file or directory
drwxr-xr-x+ 3 asotirov None 0 Jan 24 12:45 .
drwxr-xr-x+ 3 asotirov None 0 Jan 24 12:45 ..
??????????? ? ? ? ? ? bar
make: *** [clear] Error 1
Once make terminates, the 'bar' directory entry disappears and we can delete the
That's a Windowsism. You should see better results with a recent snapshot:
It would be great if you tested your case with a snapshot and report back
Larry Hall http://www.rfk.com
RFK Partners, Inc. (508) 893-9779 - RFK Office
216 Dalton Rd. (508) 893-9889 - FAX
Holliston, MA 01746
> Q: Are you sure?
>> A: Because it reverses the logical flow of conversation.
>>> Q: Why is top posting annoying in email?
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html