On Sun, Nov 19, 2017 at 03:24:46PM -0500, Paul Smith wrote: > you will need to clean your Git workspace after you pull.
Thank you, the new commits seem to have resolved all the issues I was having. And thank you for your patience while trying to diagnose this. Also no worries about the git workspace; Each build is pulled from a local bare mirror into local checkout to avoid any kind of contamination during testing. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
