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
signature.asc
Description: PGP signature
