On Tue, Nov 6, 2012 at 4:33 AM, Jean-Baptiste Faure <jbf.fa...@sud-ouest.org> wrote: >> >> For me, what works well is "git pull [-r] && git submodule update". > > Indeed it works better with the right command. :-) >
FYI ./g pull -r nowadays does just that.. git pul + git submodule update) but yes, I think it is better to do it explicitly, I weaked ./g for the benefit of the tinderbox mostly I think with recent git version it is possible to make that a config of git, so that the submodule update occurs automatically after git pull... Norbert _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
