2009-08-31 Hui Zhu <teawater@gmail.com>
* record.c (record_resume_siggnal): Deleted. (record_resume): Ditto. (record_wait): Change record_resume_siggnal to TARGET_SIGNAL_0.
Loading
Please register or sign in to comment
gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
* record.c (record_resume_siggnal): Deleted. (record_resume): Ditto. (record_wait): Change record_resume_siggnal to TARGET_SIGNAL_0.