Re: make keeps an open handle to a file, can't delete parent directory

On Jan 24 17:46, Alexander Sotirov wrote: > Larry Hall (Cygwin) wrote: > > 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 > > your findings. > [...

Re: make keeps an open handle to a file, can't delete parent directory

--- Alexander Sotirov <[EMAIL PROTECTED]> ha scritto: > Hi, > > 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. confirmed also with 20070118 shapshot and 3.81-1 > The part of the mak

Re: make keeps an open handle to a file, can't delete parent directory

Larry Hall (Cygwin) wrote: > 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 > your findings. The latest snapshot (Jan 18, 2006) has the same bug. The test

Re: make keeps an open handle to a file, can't delete parent directory

Alexander Sotirov wrote: Hi, 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/ direc

make keeps an open handle to a file, can't delete parent directory

Hi, 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 remo