19 Dec
2013
19 Dec
'13
2:41 p.m.
Peter A. Bigot wrote:
git pull git submodule update
That's what I do, too. This puts everything (back) into a detached head, so if I want to do work on, for example, smart_ptr, I have to then manually switch it to "devel" again: cd libs/smart_ptr git checkout devel but it's not that much of a bother, and the whole procedure can in principle be automated with a script.