diff options
Diffstat (limited to 'debian/patches/0014-proc-fix-build.patch')
| -rw-r--r-- | debian/patches/0014-proc-fix-build.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/debian/patches/0014-proc-fix-build.patch b/debian/patches/0014-proc-fix-build.patch deleted file mode 100644 index da7df7dc..00000000 --- a/debian/patches/0014-proc-fix-build.patch +++ /dev/null @@ -1,26 +0,0 @@ -From e829c09cc222097e88ec87fb3ee5ee8df917e600 Mon Sep 17 00:00:00 2001 -From: Justus Winter <4winter@informatik.uni-hamburg.de> -Date: Thu, 13 Nov 2014 05:27:57 +0100 -Subject: [PATCH hurd 14/14] proc: fix build - ---- - proc/Makefile | 3 +++ - 1 file changed, 3 insertions(+) - -diff --git a/proc/Makefile b/proc/Makefile -index 2275a66..7cc4af5 100644 ---- a/proc/Makefile -+++ b/proc/Makefile -@@ -32,6 +32,9 @@ MIGSTUBS = processServer.o notifyServer.o \ - OBJS = $(SRCS:.c=.o) $(MIGSTUBS) - HURDLIBS = ihash ports shouldbeinlibc - -+# XXX: fix build -+MIGSTUBS += gnumachUser.o task_notifyUser.o -+ - OTHERLIBS = -lpthread - - include ../Makeconf --- -2.1.1 - |