diff options
Diffstat (limited to 'debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch')
| -rw-r--r-- | debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch b/debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch new file mode 100644 index 00000000..26a1f48f --- /dev/null +++ b/debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch @@ -0,0 +1,25 @@ +From 3f0a9b1145c25d1f0f19fc93da3c272c5505a5ee Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Thu, 29 Oct 2015 16:39:31 +0100 +Subject: [PATCH hurd 3/3] pflocal: avoid building the interrupt server + +* pflocal/io.c: Do not needlessly include `interrupt_S.h'. +--- + pflocal/io.c | 1 - + 1 file changed, 1 deletion(-) + +diff --git a/pflocal/io.c b/pflocal/io.c +index 38d6c1d..c562274 100644 +--- a/pflocal/io.c ++++ b/pflocal/io.c +@@ -37,7 +37,6 @@ + #include "sserver.h" + + #include "io_S.h" +-#include "interrupt_S.h" + + /* Read data from an IO object. If offset if -1, read from the object + maintained file pointer. If the object is not seekable, offset is +-- +2.1.4 + |