Homec4science

Merge pull request #1977 from lukasm91:issue_1955_remove_pthread_flags

Authored by Gennadiy Civil <misterg@google.com> on Nov 26 2018, 22:38.

Description

Merge pull request #1977 from lukasm91:issue_1955_remove_pthread_flags

PiperOrigin-RevId: 222861732

Details

Event Timeline

Gennadiy Civil <misterg@google.com> committed R9484:191f9336bc92: Merge pull request #1977 from lukasm91:issue_1955_remove_pthread_flags (authored by Gennadiy Civil <misterg@google.com>).Nov 26 2018, 22:38

Merged Changes

CommitAuthorDetailsCommitted
ce526b87007aLukas Mosimann
Issue #1955: Remove THREADS_PREFER_PTHREAD_FLAG 
Nov 22 2018