HomeIsabelle/Phabricator

Don't try sem_init and sem_destroy on Mac OS X, they're deprecated.

Description

Don't try sem_init and sem_destroy on Mac OS X, they're deprecated.

Details

Provenance
dcjmAuthored on Apr 2 2021, 12:57 PM
Parents
rPOLYML18b839f218d0: Only check range of int and unsigned if necessary.
Branches
Unknown
Tags
Unknown