On Tue, 14 Jan 2020 at 10:38, Uros Bizjak <ubiz...@gmail.com> wrote: > > On Tue, Jan 14, 2020 at 11:34 AM Jonathan Wakely <jwakely....@gmail.com> > wrote: > > > > On Tue, 14 Jan 2020 at 09:22, Uros Bizjak <ubiz...@gmail.com> wrote: > > > > > > gcc_update, when called from newly initialized and pulled tree does not > > > work: > > > > Initialized how? > > 1035 mkdir gcc > 1036 cd gcc > 1037 git init > 1038 git pull https://gcc.gnu.org/git/gcc.git
Don't do that :-) You've created an new, empty repository and then filled it with the content from gcc.gnu.org/git/gcc but that's not the same as making a clone of that repo. You could make it the same, but you'd have to do a lot more steps manually. Just use 'git clone'. > > If you do a 'git clone' then it correctly checks out master and sets > > it to track origin/master. > > I see, I'll try this now.
