Skip to content

Split `FP_CHECK_PTHREADS` and move part to RTS configure --- contains !11317

John Ericson requested to merge wip/rts-configure-pthread into master

NEED_PTHREAD_LIB is unused since 36093407, and so no longer defined.

Progress towards #17191 (closed)

Edited by Ben Gamari

Merge request reports