tree d639b83550b755719e22c126b76381fe45f61ca3
parent f04602b38752ba554cf89df44d3099b0ef0abe5e
author Nicolas Lacasse <nlacasse@google.com> 1456340281 -0800
committer Nicolas Lacasse <nlacasse@google.com> 1456340281 -0800

jiri: Copy scripts/jiri to JIRI_ROOT/.jiri_root/scripts/jiri when updating

It should be rare that we need to update the jiri script, but it
happens.  See v.io/c/20086

When we do update the jiri script, it should be installed in
JIRI_ROOT/.jiri_root/scripts/jiri during the next "jiri update".  This
CL does that.

Change-Id: I5bfd02bcac51d5594dfeed06f69fe578dc8a00cf