Hamish wrote: > > The files are deleted during make, but I'm not sure exactly when > > it happens.. > > while make runs, can you monitor the directory structure in another > terminal window and track down when it happens that way? > > perhaps: > watch ls -l include/Make/ > > then quickly ^C make, back up a little, and see where in the build it > got up to? timing may have to be fast.... > > or chmod one of the vanishing files to be read-only then see if `make` > stops with an error at some point when it can't remove it?
To delete a file, you need write permission on the directory. You don't need any permissions on the file itself. But running "chmod a-w include/Make" after "configure" but before "make" may well provide useful information. -- Glynn Clements <[EMAIL PROTECTED]> _______________________________________________ grass-user mailing list [email protected] http://lists.osgeo.org/mailman/listinfo/grass-user
