summary refs log tree commit diff
diff options
context:
space:
mode:
authorLeah Neukirchen <leah@vuxu.org>2022-01-27 21:21:48 +0100
committerLeah Neukirchen <leah@vuxu.org>2022-01-27 21:31:47 +0100
commitfc84aa3954b68a36740f78c3fed89e22db93354a (patch)
treec0ab1cd14708fc5130e372a5d9cf3a9591dc7ff4
parent1e69166d4a9c4cd63532a0349c333c9ecd7c4f3c (diff)
downloadrvnit-fc84aa3954b68a36740f78c3fed89e22db93354a.tar.gz
rvnit-fc84aa3954b68a36740f78c3fed89e22db93354a.tar.xz
rvnit-fc84aa3954b68a36740f78c3fed89e22db93354a.zip
linux: don't mount /proc, we don't need it
-rw-r--r--rvnit.c4
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");