File tree Expand file tree Collapse file tree 7 files changed +42
-0
lines changed Expand file tree Collapse file tree 7 files changed +42
-0
lines changed Original file line number Diff line number Diff line change @@ -56,11 +56,17 @@ Date: June 2006
56
56
#endif
57
57
58
58
#ifdef _WIN32
59
+ #include < util/pragma_push.def>
60
+ #ifdef _MSC_VER
61
+ #pragma warning(disable:4668)
62
+ // using #if/#elif on undefined macro
63
+ #endif
59
64
#include < direct.h>
60
65
#include < windows.h>
61
66
#define chdir _chdir
62
67
#define popen _popen
63
68
#define pclose _pclose
69
+ #include < util/pragma_pop.def>
64
70
#endif
65
71
66
72
#include " version.h"
Original file line number Diff line number Diff line change 11
11
#include < iostream>
12
12
13
13
#ifdef _WIN32
14
+ #include < util/pragma_push.def>
15
+ #ifdef _MSC_VER
16
+ #pragma warning(disable:4668)
17
+ // using #if/#elif on undefined macro
18
+ #endif
14
19
#include < windows.h>
15
20
#include < fcntl.h>
16
21
#include < io.h>
17
22
#include < cstdio>
23
+ #include < util/pragma_pop.def>
18
24
#endif
19
25
20
26
#include " unicode.h"
Original file line number Diff line number Diff line change @@ -32,13 +32,19 @@ Date: January 2012
32
32
#endif
33
33
34
34
#ifdef _WIN32
35
+ #include < util/pragma_push.def>
36
+ #ifdef _MSC_VER
37
+ #pragma warning(disable:4668)
38
+ // using #if/#elif on undefined macro
39
+ #endif
35
40
#include < io.h>
36
41
#include < windows.h>
37
42
#include < direct.h>
38
43
#include < util/unicode.h>
39
44
#define chdir _chdir
40
45
#define popen _popen
41
46
#define pclose _pclose
47
+ #include < util/pragma_pop.def>
42
48
#endif
43
49
44
50
// / \return current working directory
Original file line number Diff line number Diff line change 19
19
#endif
20
20
21
21
#ifdef _WIN32
22
+ #include < util/pragma_push.def>
23
+ #ifdef _MSC_VER
24
+ #pragma warning(disable:4668)
25
+ // using #if/#elif on undefined macro
26
+ #endif
22
27
#include < windows.h>
23
28
#include < psapi.h>
29
+ #include < util/pragma_pop.def>
24
30
#endif
25
31
26
32
#include < ostream>
Original file line number Diff line number Diff line change @@ -9,9 +9,15 @@ Author: CM Wintersteiger
9
9
#include " tempdir.h"
10
10
11
11
#ifdef _WIN32
12
+ #include < util/pragma_push.def>
13
+ #ifdef _MSC_VER
14
+ #pragma warning(disable:4668)
15
+ // using #if/#elif on undefined macro
16
+ #endif
12
17
#include < windows.h>
13
18
#include < io.h>
14
19
#include < direct.h>
20
+ #include < util/pragma_pop.def>
15
21
#endif
16
22
17
23
#include < cstdlib>
Original file line number Diff line number Diff line change @@ -9,6 +9,11 @@ Author: Daniel Kroening
9
9
#include " tempfile.h"
10
10
11
11
#ifdef _WIN32
12
+ #include < util/pragma_push.def>
13
+ #ifdef _MSC_VER
14
+ #pragma warning(disable:4668)
15
+ // using #if/#elif on undefined macro
16
+ #endif
12
17
#include < process.h>
13
18
#include < sys/stat.h>
14
19
#include < windows.h>
@@ -17,6 +22,7 @@ Author: Daniel Kroening
17
22
#define getpid _getpid
18
23
#define open _open
19
24
#define close _close
25
+ #include < util/pragma_pop.def>
20
26
#endif
21
27
22
28
#include < fcntl.h>
Original file line number Diff line number Diff line change 15
15
#include < cstdint>
16
16
17
17
#ifdef _WIN32
18
+ #include < util/pragma_push.def>
19
+ #ifdef _MSC_VER
20
+ #pragma warning(disable:4668)
21
+ // using #if/#elif on undefined macro
22
+ #endif
18
23
#include < windows.h>
24
+ #include < util/pragma_pop.def>
19
25
#endif
20
26
21
27
// / Determine endianness of the architecture
You can’t perform that action at this time.
0 commit comments