diff options
| author | John Marino <marino@FreeBSD.org> | 2014-06-04 19:22:33 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-06-04 19:22:33 +0000 |
| commit | bf1b55a7635a555f10fb38a42e550880d4c307f0 (patch) | |
| tree | 038a7604d14a40aca96c44fe5b7c49e01905c7bd /math/why3/files | |
| parent | c3818dca2cd2dcd624745719984345f8ff8db361 (diff) | |
| download | ports-bf1b55a7635a555f10fb38a42e550880d4c307f0.tar.gz ports-bf1b55a7635a555f10fb38a42e550880d4c307f0.zip | |
Notes
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> + |