diff options
-rw-r--r-- | boot/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/Makefile b/boot/Makefile index 0b618500..c421b86e 100644 --- a/boot/Makefile +++ b/boot/Makefile @@ -40,7 +40,7 @@ relink: rm -f boot boot.o: notify_S.h exec_S.h device_S.h io_S.h device_reply.h io_repl.h \ - tioctl_S.h + tioctl_S.h term_S.h tioctlServer.o: ../hurd/ioctl_types.h notify_S.h notifyServer.c: $(includedir)/mach/notify.defs |