diff options
Diffstat (limited to 'community/webkit2gtk/fix-fast-memory-disabled.patch')
| -rw-r--r-- | community/webkit2gtk/fix-fast-memory-disabled.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/community/webkit2gtk/fix-fast-memory-disabled.patch b/community/webkit2gtk/fix-fast-memory-disabled.patch new file mode 100644 index 0000000000..95b9f6a091 --- /dev/null +++ b/community/webkit2gtk/fix-fast-memory-disabled.patch @@ -0,0 +1,14 @@ +--- a/Source/JavaScriptCore/wasm/WasmFaultSignalHandler.cpp.orig 2017-09-14 10:03:40.908890971 +0200 ++++ b/Source/JavaScriptCore/wasm/WasmFaultSignalHandler.cpp 2017-09-14 10:04:17.084859537 +0200 +@@ -112,7 +112,11 @@ void unregisterCode(void* start, void* e + + bool fastMemoryEnabled() + { ++#if ENABLE(WEBASSEMBLY_FAST_MEMORY) + return fastHandlerInstalled; ++#else ++ return false; ++#endif // ENABLE(WEBASSEMBLY_FAST_MEMORY) + } + + void enableFastMemory() |