diff options
author | Carlos J. Puga Medina <cpm@FreeBSD.org> | 2019-01-07 19:47:18 +0000 |
---|---|---|
committer | Carlos J. Puga Medina <cpm@FreeBSD.org> | 2019-01-07 19:47:18 +0000 |
commit | ab34cf48c6364f23214d9242e83eefd174f7f820 (patch) | |
tree | ce7704d873ee687272322780c46fc9ddee28a619 /www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc | |
parent | 8b8ed1280fd0f67a28315ef6868ea74d951179ee (diff) |
Notes
Diffstat (limited to 'www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc')
-rw-r--r-- | www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc b/www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc index bb49bb75a31e..aa81909679fd 100644 --- a/www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc +++ b/www/chromium/files/patch-gpu_command__buffer_service_program__manager.cc @@ -1,14 +1,14 @@ ---- gpu/command_buffer/service/program_manager.cc.orig 2017-04-19 19:06:34 UTC -+++ gpu/command_buffer/service/program_manager.cc -@@ -31,7 +31,11 @@ +--- gpu/command_buffer/service/program_manager.cc.orig 2018-12-03 21:16:59.000000000 +0100 ++++ gpu/command_buffer/service/program_manager.cc 2018-12-13 23:16:40.689817000 +0100 +@@ -30,7 +30,11 @@ #include "gpu/command_buffer/service/program_cache.h" - #include "gpu/command_buffer/service/progress_reporter.h" #include "gpu/command_buffer/service/shader_manager.h" + #include "gpu/config/gpu_preferences.h" +#if defined(OS_BSD) +#include <re2/re2.h> +#else #include "third_party/re2/src/re2/re2.h" +#endif #include "ui/gl/gl_version_info.h" + #include "ui/gl/progress_reporter.h" - using base::TimeDelta; |