X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fmountlist;h=1e7d22a5e048c75bbc28e3c7c7fd5b8fa16c08b8;hb=ccc2db08ab28dd8b03de8f2e361d12359b4cd2f4;hp=ce5342cb055bacbe620b39d98e31520e76411a51;hpb=5eeec029e833abe9ba663d51bb556bd1eebb814e;p=pspp

diff --git a/modules/mountlist b/modules/mountlist
index ce5342cb05..1e7d22a5e0 100644
--- a/modules/mountlist
+++ b/modules/mountlist
@@ -10,10 +10,16 @@ m4/mountlist.m4
 
 Depends-on:
 stdbool
+stdint
+strstr-simple
 xalloc
 
 configure.ac:
 gl_MOUNTLIST
+if test $gl_cv_list_mounted_fs = yes; then
+  AC_LIBOBJ([mountlist])
+  gl_PREREQ_MOUNTLIST_EXTRA
+fi
 
 Makefile.am: