freebsd-ports/math/why3-spark/files/patch-src_tools_cpulimit.c
John Marino 6e3d37113d Move math/why3-gpl => math/why3-spark
There are two reasons to rename this port.
1) Upstream never liked it and requested -spark be the suffix instead
2) An ongoing attempt to fix lang/spark may result in a number of slave
   ports with a -spark suffix, so this keeps up consistency as all of
   these ports only exist to support that port.
2015-12-10 20:20:22 +00:00

10 lines
226 B
C

--- src/tools/cpulimit.c.orig 2015-05-06 10:55:30 UTC
+++ src/tools/cpulimit.c
@@ -19,6 +19,7 @@
#include <unistd.h>
#include <signal.h>
#include <errno.h>
+#include <signal.h>
#include <string.h>
#include <sys/wait.h>