Greetings, At the moment, there are references to pthread mutexes in 'gcc/jit/libgccjit.cc' and 'gcc/git/jit-playback.cc'. The former was introduced by 63b2923dc6f57e74d964a9cf14f4ba595ab14ed9 in 2020, while the latter was introduced by 38771e4e1fdacfbdac5a14e50fcc0538577b1bdb in 2014. Does this mean, GCC can't be built with JIT enabled, for some thread model other than `posix` (e.g. `win32`), where pthread isn't available? Can those references to mutexes be replaced with `__gthread_mutex_*` instead? However I see no other references to inside the 'gcc' subdirectory, so I suspect it isn't an option there? -- Best regards, LIU Hao