> It just happened ... Typing "make distclean" is deleting the repos in > testing/external/*. So let's please switch that back to the previous > "rm -rf build". Sorry. I will fix it. - Jon