diff options
-rwxr-xr-x | Tools/portbuild/scripts/portbuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/portbuild b/Tools/portbuild/scripts/portbuild index 24bd22a5ff71..176c0b078cf0 100755 --- a/Tools/portbuild/scripts/portbuild +++ b/Tools/portbuild/scripts/portbuild @@ -11,7 +11,7 @@ mount_fs() if [ ${disconnected} = 1 ]; then mount -t nullfs -r ${fs} ${mntpt} else - mount -o nfsv3,intr -r ${master}:${fs} ${mntpt} + mount_nfs -o ro -3 -i ${master}:${fs} ${mntpt} fi } |