diff options
Diffstat (limited to 'math/why3/files/patch-src_tools_cpulimit.c')
| -rw-r--r-- | math/why3/files/patch-src_tools_cpulimit.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/math/why3/files/patch-src_tools_cpulimit.c b/math/why3/files/patch-src_tools_cpulimit.c deleted file mode 100644 index 5c905ece014a..000000000000 --- a/math/why3/files/patch-src_tools_cpulimit.c +++ /dev/null @@ -1,10 +0,0 @@ ---- 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> - |