On Fri, Feb 8, 2013 at 3:17 PM, Erik Rose <[email protected]> wrote: > That's what's strange...git status doesn't complain about the plugins > directory in the "old" location. In fact, I can do a "git log" in that > directory and get stuff from as recently as Jan 15. > > > My mistake. My guess is that git, which tracks only files, doesn't bother > with that plugins dir if it contains only that .so, because *.so is in > .gitignore. Bah. >
git clean -d will get rid of the plugins directory. I guess the take-away lesson is that when doing a re-org of the tree, there needs to be some out-of-band way to communicate to anyone who may have a clone to perform a clean. -- Chris Cleeland _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
