diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-13 05:27:57 +0100 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2016-09-04 12:31:06 +0200 |
| commit | 86cd42c000cee50ac5d56f1f8a877c11c5994614 (patch) | |
| tree | 4b1fb4d93f92b5d461d0339a9b373c30c2584b67 | |
| parent | ab07e7c967e6809eef7bbffed31232d994d0fab5 (diff) | |
proc: fix build
| -rw-r--r-- | proc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/proc/Makefile b/proc/Makefile index 8ca13c20..8e891adb 100644 --- a/proc/Makefile +++ b/proc/Makefile @@ -33,6 +33,9 @@ OBJS = $(SRCS:.c=.o) $(MIGSTUBS) HURDLIBS = ihash ports shouldbeinlibc LDLIBS = -lpthread +# XXX: fix build +MIGSTUBS += gnumachUser.o task_notifyUser.o + include ../Makeconf mutated_ourmsg_U.h: ourmsg_U.h |