From 5f311163a11bf0dbb28c54c13173e919cf3a2504 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 12 Nov 2014 15:30:02 +0100
Subject: boot: fix build

---
 boot/Makefile | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3