summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <justus@gnupg.org>2016-10-13 23:43:19 +0200
committerJustus Winter <justus@gnupg.org>2016-10-27 11:52:14 +0200
commit1a242fd36a01d0e7cca302ec9a516e17a97e5ff9 (patch)
tree6ee3bed39b390f33e426c175fdab85f660fcb961
parent2392c8a566416f38f8ded4c7a239a9db05f0a368 (diff)
proc: XXX fix build
-rw-r--r--proc/mgt.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/proc/mgt.c b/proc/mgt.c
index d572788e..1324da45 100644
--- a/proc/mgt.c
+++ b/proc/mgt.c
@@ -41,7 +41,7 @@
#include "mutated_ourmsg_U.h"
#include "proc_exc_S.h"
#include "proc_exc_U.h"
-#include "task_notify_S.h"
+// XXX #include "task_notify_S.h"
#include <hurd/signal.h>
/* Create a new id structure with the given genuine uids and gids. */