blob: 5dadb11be64433a1c0023fd395a6b4594afffe8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// File: OSD_PThread.hxx
// Created: Fri Mar 10 17:00:00 2006
// Author: data exchange team
// <det@decex.nnov.opencascade.com>
#ifndef OSD_PThread_HeaderFile
#define OSD_PThread_HeaderFile
// Platform-dependent definition of the thread handle type
#ifdef WNT
#include <windows.h>
typedef HANDLE OSD_PThread;
#else
#include <pthread.h>
typedef pthread_t OSD_PThread;
#endif
#endif
|