Commit 53264f2b authored by Rob Swindell's avatar Rob Swindell 💬
Browse files

Use shed_yield() instead of pthread_yield() on Linux

Per https://man7.org/linux/man-pages/man3/pthread_yield.3.html
	This call is nonstandard, but present on several other systems.
        Use the standardized sched_yield(2) instead.

Should fix #299.
parent a6b1b439
Pipeline #2448 passed with stage
in 9 minutes and 21 seconds