diff options
Diffstat (limited to 'math/why3/files')
-rw-r--r-- | math/why3/files/patch-src_tools_cpulimit.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/why3/files/patch-src_tools_cpulimit.c b/math/why3/files/patch-src_tools_cpulimit.c new file mode 100644 index 000000000000..5c905ece014a --- /dev/null +++ b/math/why3/files/patch-src_tools_cpulimit.c @@ -0,0 +1,10 @@ +--- src/tools/cpulimit.c.orig 2014-03-14 15:01:03.000000000 +0000 ++++ src/tools/cpulimit.c +@@ -18,6 +18,7 @@ + #include <stdlib.h> + #include <unistd.h> + #include <errno.h> ++#include <signal.h> + #include <string.h> + #include <sys/wait.h> + |