On Wed, Nov 08, 2000 at 08:04:08PM +0000, Hugo wrote: > In <20001108123808.A11346@chaos.wustl.edu>, Jarkko Hietaniemi writes: > :Not recommended. "make distclean" or "rm -f config.sh Policy.sh *.o" > :heartily suggested. > > And do the 'make distclean' _before_ the rsync - I frequently forget > this, and it tends to cause more problems afterwards. (After the > rsync, changed files mean that the attempt to make distclean causes > it to attempt to make lots of other things in the process, which > usually fails. Then the dist isn't clean, but the Makefiles are > gone so you can't distclean again to fix it. In short, it makes a > bit of a mess.) I used to do this. Now I have a clean copy of the source I rsync from afar, and a second copy (or 10 at the moment it seems) which actually get built, which are rsync'd from the local tree. I usually remember to make distclean after the remote rsync but before the local one. It's not too late then :-) Nicholas ClarkThread Previous | Thread Next