Command line tools suddenly don't work. It worked a couple days ago... presumably before I did an update. I type make -? and it says it can't find make, so it's going to download command line tools... n minutes later (fortunately I have pretty high speed internet) it says it's done, but if I type the same command, it goes and downloads it anyway. But I have make etc in /Applications/Xcode.app/Contents/Developer/usr/bin so a work-around looks like putting that before /usr/bin and it seems to work.... to a point... until /usr/bin/make is invoked, when it of course cacks again. And I can't move /usr/bin/make aside or make it a symlink, even as root. Very annoying!