[Bug other/17239] gcc_update not being writable while it is running

2023-09-11 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17239 --- Comment #5 from Jonathan Wakely --- I don't know whether the underlying problem still exists with git. Does a 'git pull' write to the files it updates, or does it rename them, create a new file, and delete the old one? Would the latter have t

[Bug other/17239] gcc_update not being writable while it is running

2023-09-10 Thread egallager at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17239 Eric Gallager changed: What|Removed |Added CC||egallager at gcc dot gnu.org --- Comment

[Bug other/17239] gcc_update not being writable while it is running

2016-03-19 Thread vhaisman at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17239 Václav Haisman changed: What|Removed |Added Version|5.3.0 |4.0.0 --- Comment #3 from Václav Haisma

[Bug other/17239] gcc_update not being writable while it is running

2004-12-02 Thread gerald at pfeifer dot com
--- Additional Comments From gerald at pfeifer dot com 2004-12-03 00:01 --- Response tat http://gcc.gnu.org/ml/gcc-patches/2004-12/msg00226.html -- What|Removed |Added