On Mon, 21 Sep 2015, Jeroen Demeyer wrote:
Your workflow should look like:1) checkout ticket or branch 2) make build (or make doc-clean; make) If you're skipping step 2, it's not surprising that bad things happen.
OK. Before it has more often worked with just ./sage -b and I think that also make has been much faster. But so I'll run make after checkout from not on.
-- Jori Mäntysalo
