summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-11-12 15:30:02 +0100
committerJustus Winter <justus@gnupg.org>2016-09-04 12:31:06 +0200
commit5f311163a11bf0dbb28c54c13173e919cf3a2504 (patch)
treeab9c732fb89e9c3aa6307c59c5a40947d348c3db
parent86cd42c000cee50ac5d56f1f8a877c11c5994614 (diff)
-rw-r--r--boot/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/boot/Makefile b/boot/Makefile
index d700116d..aa85cc55 100644
--- a/boot/Makefile
+++ b/boot/Makefile
@@ -32,6 +32,9 @@ io-MIGSFLAGS=-DREPLY_PORTS -DHURD_DEFAULT_PAYLOAD_TO_PORT=1
HURDLIBS = store shouldbeinlibc ihash
LDLIBS += -lpthread
+# XXX fix build
+MIGSTUBS += processUser.o task_notifyUser.o
+
include ../Makeconf
#install: /usr/local/bin/uxboot