beremiz
Clone
Summary
Browse
Changes
Graph
CLI: Explicitely wait for user interrupt (-k) and flush stdout each line.
2022-07-17, Edouard Tisserant
da7b461f54b7
CLI: Explicitely wait for user interrupt (-k) and flush stdout each line.
<xsd:element name="Win32">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>