21/05/2018 13:35, Radu Nicolau:
> Fixes: af75078fece3 ("first public release")
> Cc: [email protected]
>
> Signed-off-by: Radu Nicolau <[email protected]>
> ---
> @@ -34,7 +34,8 @@ test_panic(void)
> printf("Fork Failed\n");
> return -1;
> }
> - wait(&status);
> + sleep(1);
> + waitpid(pid, &status, WNOHANG);Please give an explanation why you are adding this sleep.
