diff options
Diffstat (limited to 'devel/electron7/files/patch-third__party_leveldatabase_env__chromium.cc')
| -rw-r--r-- | devel/electron7/files/patch-third__party_leveldatabase_env__chromium.cc | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/devel/electron7/files/patch-third__party_leveldatabase_env__chromium.cc b/devel/electron7/files/patch-third__party_leveldatabase_env__chromium.cc deleted file mode 100644 index 707e9d329387..000000000000 --- a/devel/electron7/files/patch-third__party_leveldatabase_env__chromium.cc +++ /dev/null @@ -1,14 +0,0 @@ ---- third_party/leveldatabase/env_chromium.cc.orig 2019-12-12 12:41:26 UTC -+++ third_party/leveldatabase/env_chromium.cc -@@ -40,7 +40,11 @@ - #include "third_party/leveldatabase/leveldb_chrome.h" - #include "third_party/leveldatabase/leveldb_features.h" - #include "third_party/leveldatabase/src/include/leveldb/options.h" -+#if defined(OS_BSD) -+#include <re2/re2.h> -+#else - #include "third_party/re2/src/re2/re2.h" -+#endif - - #if defined(OS_WIN) - #undef DeleteFile |