Re: git gcc-backport.py : No such file or directory

2020-05-27 Thread Thomas Koenig via Gcc
Hi Martin, On 5/27/20 4:13 PM, Martin Liška wrote: Yes, I'm aware of the limitation and let me do it now. I've just backported the script to all active branches. Please try it. Works without a hitch, thanks! I have just successfully pushed r9-8628 to the gcc-9 branch. Regards Th

Re: git gcc-backport.py : No such file or directory

2020-05-27 Thread Martin Liška
On 5/27/20 4:13 PM, Martin Liška wrote: Yes, I'm aware of the limitation and let me do it now. I've just backported the script to all active branches. Please try it. Martin

Re: git gcc-backport.py : No such file or directory

2020-05-27 Thread Martin Liška
On 5/27/20 4:11 PM, Thomas Koenig wrote: Hi Martin, currently, doing git gcc-backport from a gcc9 branch results in $ git gcc-backport r11-588-g8df7ee67f6fdc780e9453f2baa8d1bf62c000761 environment: /home/ig25/Gcc/gcc9/contrib/git-backport.py: No such file or directory Would it make sense to p

git gcc-backport.py : No such file or directory

2020-05-27 Thread Thomas Koenig via Gcc
Hi Martin, currently, doing git gcc-backport from a gcc9 branch results in $ git gcc-backport r11-588-g8df7ee67f6fdc780e9453f2baa8d1bf62c000761 environment: /home/ig25/Gcc/gcc9/contrib/git-backport.py: No such file or directory Would it make sense to push the git-backport.py file to the relea