On Mon, 13 Apr 2020 at 19:53, William Tambe via Gcc-help <gcc-help@xxxxxxxxxxx> wrote: > > How to configure GCC "Thread model"? > > in our port it is currently "single", however we would like for it to be "posix" See gcc/configure.ac where target_thread_file is set.