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, 0 insertions, 25 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 deleted file mode 100644 index 26a1f48f..00000000 --- a/debian/patches/fixes0003-pflocal-avoid-building-the-interrupt-server.patch +++ /dev/null @@ -1,25 +0,0 @@ -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 - |