Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 17 Jul 2022 18:07:46 +0200] rev 3548
CLI: Explicitely wait for user interrupt (-k) and flush stdout each line.
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 17 Jul 2022 17:49:34 +0200] rev 3547
tests: IDE: fix again debug_project, making it hopefully more stable