blob: 40a0662cd86490790f20a730651050cbfbfb7081 (
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: Standard_ThreadId.hxx
// Created: Fri Mar 10 17:00:00 2006
// Author: data exchange team
// <det@decex.nnov.opencascade.com>
#ifndef Standard_ThreadId_HeaderFile
#define Standard_ThreadId_HeaderFile
// Platform-dependent definition of the thread identifier type
#ifdef WNT
#include <windows.h>
typedef DWORD Standard_ThreadId;
#else
#include <pthread.h>
typedef pthread_t Standard_ThreadId;
#endif
#endif
|
