On Tue, Nov 6, 2012 at 4:33 AM, Jean-Baptiste Faure
<jbf.faure@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
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.