HGKeeper

0043e2b9dbec

Linux runtime: fix thread waiting on wait_RT_to_nRT_signal not being waken-up when delete_RT_to_nRT_signal is invoked.

<xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>

<xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>

<xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>

<xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>