Personally, I prefer the git protocol if possible. It's much faster and has lower overhead. I think the best idea would be to add .gitmodules to .gitignore and have the bootstrap script modify .gitmodules to point to either git: or http: depending on some user preference.
Øyvind Harboe <oyvind.har...@zylin.com> wrote: > My workaround is to manually edit .git/config before the update. I replaced > this section >> [submodule "tools/git2cl"] >> url = git://repo.or.cz/git2cl.git > > by > >> [submodule "tools/git2cl"] >> url = http://repo.or.cz/r/git2cl.git This is not a workaround, it's a solution! :-) The only question is whether we should commit the change. -- Øyvind Harboe Can Zylin Consulting help on your project? US toll free 1-866-980-3434 / International +47 51 63 25 00 http://www.zylin.com/zy1000.html ARM7 ARM9 ARM11 XScale Cortex JTAG debugger and flash programmer _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
