diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-09-18 17:38:11 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-09-19 08:37:17 +0000 |
| commit | 6d197301fe4a048a54f3203599963947b6563bd9 (patch) | |
| tree | 610caa03230fdc328dd75769fa0a38b54b2e68e0 /executor | |
| parent | c673ca06b23cea94091ab496ef62c3513e434585 (diff) | |
executor: fix mounting of binfmt_misc
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common_linux.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index 9e7d9717d..7356499de 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -5024,7 +5024,8 @@ static void check_leaks(void) static const char* setup_binfmt_misc() { - if (mount(0, "/proc/sys/fs/binfmt_misc", "binfmt_misc", 0, 0)) { + // EBUSY means it's already mounted here. + if (mount(0, "/proc/sys/fs/binfmt_misc", "binfmt_misc", 0, 0) && errno != EBUSY) { debug("mount(binfmt_misc) failed: %d\n", errno); return NULL; } |