Commit 417ecea5 authored by Andrei Paskevich's avatar Andrei Paskevich

why3-cpulimit: include signal.h (thanks to John Marino)

parent 401fca38
......@@ -17,6 +17,7 @@
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <signal.h>
#include <errno.h>
#include <string.h>
#include <sys/wait.h>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment