diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common_linux.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index 15ad0ce69..f00b6be90 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -4528,13 +4528,20 @@ static void remove_dir(const char* dir) { int iter = 0; DIR* dp = 0; -retry: + #if SYZ_EXECUTOR || !SYZ_SANDBOX_ANDROID // Starting from v6.9, it does no longer make sense to use MNT_DETACH, because // a loop device may only be reused in RW mode if no mounted filesystem keeps a // reference to it. So we have to umount them synchronously. // MNT_FORCE should hopefully prevent hangs for filesystems that may require a complex cleanup. + // + // This declaration should not be moved under retry label, since label followed by a declaration + // is not supported by old compilers. const int umount_flags = MNT_FORCE | UMOUNT_NOFOLLOW; +#endif + +retry: +#if SYZ_EXECUTOR || !SYZ_SANDBOX_ANDROID #if SYZ_EXECUTOR if (!flag_sandbox_android) #endif |