summaryrefslogtreecommitdiff
path: root/math/why3/files/patch-src_tools_cpulimit.c
diff options
context:
space:
mode:
authorBaptiste Daroussin <bapt@FreeBSD.org>2021-02-04 09:58:33 +0000
committerBaptiste Daroussin <bapt@FreeBSD.org>2021-02-04 09:58:33 +0000
commitca0ad1e463e3db9e0c9909109eb7d5460a5b8394 (patch)
treeda71485eeabe576d6b7f122f5ef0368dc9dbc0b5 /math/why3/files/patch-src_tools_cpulimit.c
parentPlease welcome LibreOffice suite 7.1.0 release! (diff)
Remove math/why3
This port depends on deprecated gnome2 only libraries, the port is unmaintained for a while and very outdated.
Diffstat (limited to '')
-rw-r--r--math/why3/files/patch-src_tools_cpulimit.c10
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>
-