diff options
Diffstat (limited to 'dialects/linux/dmnt.c')
| -rw-r--r-- | dialects/linux/dmnt.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dialects/linux/dmnt.c b/dialects/linux/dmnt.c index 3bbdd37..87e63db 100644 --- a/dialects/linux/dmnt.c +++ b/dialects/linux/dmnt.c @@ -32,7 +32,7 @@ #ifndef lint static char copyright[] = "@(#) Copyright 1997 Purdue Research Foundation.\nAll rights reserved.\n"; -static char *rcsid = "$Id: dmnt.c,v 1.20 2015/07/07 19:47:31 abe Exp $"; +static char *rcsid = "$Id: dmnt.c,v 1.21 2018/02/14 14:26:38 abe Exp $"; #endif @@ -535,6 +535,8 @@ readmnt() if ((nfs = strcasecmp(fp[2], "nfs3"))) nfs = strcasecmp(fp[2], "nfs4"); } + if (!nfs && !HasNFS) + HasNFS = 1; if (mp) { /* |