diff options
| -rw-r--r-- | rvnit.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/rvnit.c b/rvnit.c index 274eeda..268013a 100644 --- a/rvnit.c +++ b/rvnit.c @@ -648,10 +648,6 @@ void init_mount() { #ifdef __linux__ LOG("init_mount"); - if (!mounted("/proc")) { - LOG("mounting /proc"); - mount("proc", "/proc", "proc", MS_NOSUID|MS_NOEXEC|MS_NODEV, ""); - } if (!mounted("/run")) { LOG("mounting /run"); mount("run", "/run", "tmpfs", MS_NOSUID|MS_NODEV, "mode=0755"); |