From 2a90980d2c4ba83fa46a892f2f9b087673513bc7 Mon Sep 17 00:00:00 2001
From: Tobias Petrich <tobias.petrich@campus.tu-berlin.de>
Date: Sat, 30 Nov 2019 21:41:01 +0100
Subject: [PATCH] Fix #161: don't return if remount of "/" fails in
 create_sandbox

Signed-off-by: Tobias Petrich <tobias.petrich@campus.tu-berlin.de>
---
 sandbox.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sandbox.c b/sandbox.c
index 256bf04..3b5c35a 100644
--- a/sandbox.c
+++ b/sandbox.c
@@ -135,7 +135,6 @@ int create_sandbox()
     ret = mount("tmpfs", "/", "tmpfs", MS_REMOUNT | MS_RDONLY, "size=0k");
     if (ret < 0) {
         fprintf(stderr, "cannot mount tmpfs on /tmp\n");
-        return ret;
     }
 
     ret = prctl(PR_SET_NO_NEW_PRIVS, 1, 0, 0, 0);