> 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

Reply via email to