ANSI platform builds shouldn't link pthreads.#181

waywardmonkeys wants to merge 1 commit intoRavenbrook:masterRavenbrook/mps:masterfrom

waywardmonkeys:ansi-platform-should-not-link-pthreadswaywardmonkeys/mps:ansi-platform-should-not-link-pthreadsCopy head branch name to clipboard