HomeIsabelle/Phabricator

Clean up ifdefs that select between Windows and Unix code. Assume that pthread…
649c3a60cf21Unpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Clean up ifdefs that select between Windows and Unix code. Assume that pthread is present unless we're building for Windows.

Details

Provenance
dcjmAuthored on Apr 9 2019, 4:23 PM
Parents
rPOLYML8d532ab93b8b: Separate out some tests for Windows and Unix. Now require pthread library and…
Branches
Unknown
Tags
Unknown

Event Timeline