summaryrefslogtreecommitdiff
path: root/pflocal
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-10-29 16:39:31 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-10-29 16:39:31 +0100
commit3f0a9b1145c25d1f0f19fc93da3c272c5505a5ee (patch)
tree4f63a870d693cb5d6ed072c040c5f9ca87c0c3c8 /pflocal
parentc3c6b55517d7d1e217e88d08f3265a5a7d77565a (diff)
pflocal: avoid building the interrupt server
* pflocal/io.c: Do not needlessly include `interrupt_S.h'.
Diffstat (limited to 'pflocal')
-rw-r--r--pflocal/io.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/pflocal/io.c b/pflocal/io.c
index 38d6c1d2..c5622746 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