> So, I found the problem, but it's weird. It was using an old compile of > the plugin. But that .so was in <toplevel>/plugins rather than > <toplevel>/dxr/plugins. I honestly don't know how I got > <toplevel>/plugins, but that's what's set in my config.
I think that's where `plugins` was once upon a time, before I reorganized the tree. It's probably a good idea to run a "git status" from time to time and scrutinize untracked artifacts. Erik _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
