Formerly Makeconf.~43~

1 files changed, 8 insertions, 0 deletions

diff --git a/Makeconf b/Makeconf
index 5e321299..a08b3faf 100644
--- a/Makeconf
+++ b/Makeconf
@@ -27,6 +27,7 @@ libioserver := $(hurdinst)/lib/libioserver.a
 libpager := $(hurdinst)/lib/libpager.a
 libfshelp := $(hurdinst)/lib/libfshelp.a
 libdiskfs := $(hurdinst)/lib/libdiskfs.a
+libtrivfs := $(hurdinst)/lib/libtrivfs.a
 malloc := $(hurdinst)/lib/libmalloc.a
 
 # Finding binaries
@@ -113,6 +114,13 @@ $(includedir)/hurd/fshelp.h: FORCE
 	$(MAKE) -C $(hurdsource)/libfshelp $(includedir)/hurd/fshelp.h
 endif
 
+ifneq ($(strip $(dir)),libtrivfs)
+$(libtrivfs): FORCE
+	$(MAKE) -C $(hurdsource)/libtrivfs $(libtrivfs)
+$(includedir)/hurd/trivfs.h: FORCE
+	$(MAKE) -C $(hurdsource)/libtrivfs $(includedir)/hurd/trivfs.h
+endif
+
 ifneq ($(strip $(dir)),libthreads)
 $(libthreads): FORCE
 	$(MAKE) -C $(hurdsource)/libthreads $(libthreads)