| Index: Source/wtf/Platform.h
|
| diff --git a/Source/wtf/Platform.h b/Source/wtf/Platform.h
|
| index 1d118f2b7fc979f25cc3d13241f617be3c78f19e..1fe86d3de0abf715e3f5f3eab7299c272e16e0f6 100644
|
| --- a/Source/wtf/Platform.h
|
| +++ b/Source/wtf/Platform.h
|
| @@ -35,7 +35,7 @@
|
|
|
| /* HAVE() - specific system features (headers, functions or similar) that are present or not */
|
| #define HAVE(WTF_FEATURE) (defined HAVE_##WTF_FEATURE && HAVE_##WTF_FEATURE)
|
| -/* OS() - underlying operating system; only to be used for mandated low-level services like
|
| +/* OS() - underlying operating system; only to be used for mandated low-level services like
|
| virtual memory, not to choose a GUI toolkit */
|
| #define OS(WTF_FEATURE) (defined WTF_OS_##WTF_FEATURE && WTF_OS_##WTF_FEATURE)
|
|
|
| @@ -46,7 +46,7 @@
|
| /* ENABLE() - turn on a specific feature of WebKit */
|
| #define ENABLE(WTF_FEATURE) (defined ENABLE_##WTF_FEATURE && ENABLE_##WTF_FEATURE)
|
|
|
| -/* ==== OS() - underlying operating system; only to be used for mandated low-level services like
|
| +/* ==== OS() - underlying operating system; only to be used for mandated low-level services like
|
| virtual memory, not to choose a GUI toolkit ==== */
|
|
|
| /* OS(ANDROID) - Android */
|
| @@ -137,10 +137,10 @@
|
|
|
| #if OS(UNIX)
|
| #define HAVE_ERRNO_H 1
|
| -#define HAVE_MMAP 1
|
| +#define HAVE_MMAP 1
|
| #define HAVE_SIGNAL_H 1
|
| #define HAVE_STRINGS_H 1
|
| -#define HAVE_SYS_TIME_H 1
|
| +#define HAVE_SYS_TIME_H 1
|
| #define WTF_USE_PTHREADS 1
|
| #endif /* OS(UNIX) */
|
|
|
|
|