moonbridge
diff Makefile @ 298:09d6428fdf6c
Fixed wrong treatment of waitpid() return value in moonbridge_io.poll(...)
| author | jbe | 
|---|---|
| date | Sun Jun 18 01:01:45 2017 +0200 (2017-06-18) | 
| parents | 446db91762b7 | 
| children | 5fe68ba5fe0e | 
   line diff
| author | jbe | 
|---|---|
| date | Sun Jun 18 01:01:45 2017 +0200 (2017-06-18) | 
| parents | 446db91762b7 | 
| children | 5fe68ba5fe0e |