On Mon, 13 Apr 2020 at 21:32, Jonathan Wakely <jwakely.gcc@xxxxxxxxx> wrote: > > 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. And gcc/config.gcc which sets the default if no --enable-threads option is passed to configure explicitly.