diff options
Diffstat (limited to 'thirdparty/oidn/0001-window.h-case-sensitive.patch')
| -rw-r--r-- | thirdparty/oidn/0001-window.h-case-sensitive.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/thirdparty/oidn/0001-window.h-case-sensitive.patch b/thirdparty/oidn/0001-window.h-case-sensitive.patch new file mode 100644 index 0000000000..7b9c8e96c1 --- /dev/null +++ b/thirdparty/oidn/0001-window.h-case-sensitive.patch @@ -0,0 +1,13 @@ +diff --git a/thirdparty/oidn/common/platform.h b/thirdparty/oidn/common/platform.h +index 205ac8981d..9373b617b5 100644 +--- a/thirdparty/oidn/common/platform.h ++++ b/thirdparty/oidn/common/platform.h +@@ -19,7 +19,7 @@ + #if defined(_WIN32) + #define WIN32_LEAN_AND_MEAN + #define NOMINMAX +- #include <Windows.h> ++ #include <windows.h> + #elif defined(__APPLE__) + #include <sys/sysctl.h> + #endif |