Index: gnulib/lib/mountlist.c =================================================================== --- gnulib/lib/mountlist.c.orig 2007-12-02 12:57:51.000000000 +0100 +++ gnulib/lib/mountlist.c 2010-04-01 12:20:56.784502964 +0200 @@ -60,7 +60,11 @@ # include # if !defined MOUNTED # if defined _PATH_MOUNTED /* GNU libc */ -# define MOUNTED _PATH_MOUNTED +# if defined __linux__ +# define MOUNTED "/proc/mounts" +# else +# define MOUNTED _PATH_MOUNTED +# endif # endif # if defined MNT_MNTTAB /* HP-UX. */ # define MOUNTED MNT_MNTTAB