geneweb icon indicating copy to clipboard operation
geneweb copied to clipboard

[BUG Windows] make clean fails

Open a2line opened this issue 1 year ago • 0 comments

I think this comes from a dune update (I'd say from the start of this year): make clean under Cygwin is removing files and subdirectories and lets the _build directory empty but fails to remove the dir itself. It shouldn't break the execution. The empty dir could be left as it is? (I can't do make clean distrib for eg.)

$ make clean
Cleaning…Error: rmdir(_build): Directory not empty
make: *** [Makefile:230: clean] Error 1

a2line avatar Aug 09 '23 13:08 a2line