diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-05-15 18:03:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-15 18:03:35 +0200 |
commit | bc008d413e650c4ecd00b399e404bb35b51ad253 (patch) | |
tree | af96665332c75641ff1a44a5cf8e74851ad30dba /thirdparty | |
parent | 0bdd1d46dd55a25189583df729817bfb2405fa0b (diff) | |
parent | 0aac6a2853452964fdda24c37b6f6a419f1cdbdc (diff) |
Merge pull request #38757 from madmiraal/fix-oidn-mingw-build
Fix #include <windows.h> for case-senstive cross-compilation.
Diffstat (limited to 'thirdparty')
-rw-r--r-- | thirdparty/oidn/0001-window.h-case-sensitive.patch | 13 | ||||
-rw-r--r-- | thirdparty/oidn/common/platform.h | 2 |
2 files changed, 14 insertions, 1 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 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 |