diff options
author | Justus Winter <justus@gnupg.org> | 2016-10-13 23:43:19 +0200 |
---|---|---|
committer | Justus Winter <justus@gnupg.org> | 2016-10-27 11:52:14 +0200 |
commit | 1a242fd36a01d0e7cca302ec9a516e17a97e5ff9 (patch) | |
tree | 6ee3bed39b390f33e426c175fdab85f660fcb961 | |
parent | 2392c8a566416f38f8ded4c7a239a9db05f0a368 (diff) |
proc: XXX fix build
-rw-r--r-- | proc/mgt.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. */ |