Skip to content

mock wait4 on android using waitpid like on win32#752

Merged
aantron merged 1 commit intoocsigen:masterfrom EduardoRFS:wait4-androidDec 14, 2019
+2-2

Commits

Commits on Dec 14, 2019