On Thu, Jan 03, 2019 at 11:27:34AM -0500, Andrew Alsup wrote:
> Thanks for the help on "make distclean". That did the trick. I will be
> more careful when pulling master. Somehow, I hadn't been hit with this
> before, which was just dumb luck. Thanks for helping me out.
A more violent method is that from the top of the tree:
git clean -d -x -f
That's really efficient when using the git reporitory directly.
--
Michael