From 763efb194df5565255a5c4e88326ee75663e462f Mon Sep 17 00:00:00 2001 From: dakkar Date: Fri, 16 Dec 2022 12:53:40 +0000 Subject: kill old webkit-gtk, no longer useful --- .../webkit-gtk/files/webkit-gtk-2.2.5-ia64-platform.patch | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 net-libs/webkit-gtk/files/webkit-gtk-2.2.5-ia64-platform.patch (limited to 'net-libs/webkit-gtk/files/webkit-gtk-2.2.5-ia64-platform.patch') diff --git a/net-libs/webkit-gtk/files/webkit-gtk-2.2.5-ia64-platform.patch b/net-libs/webkit-gtk/files/webkit-gtk-2.2.5-ia64-platform.patch deleted file mode 100644 index a63e9e8..0000000 --- a/net-libs/webkit-gtk/files/webkit-gtk-2.2.5-ia64-platform.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- a/Source/WTF/wtf/Platform.h 2014-02-25 00:33:16.561606810 +0100 -+++ b/Source/WTF/wtf/Platform.h 2014-02-25 00:49:52.895512955 +0100 -@@ -79,6 +79,9 @@ - #if !defined(__LP64__) - #define WTF_CPU_IA64_32 1 - #endif -+#define ENABLE_JIT 0 -+#define ENABLE_YARR_JIT 0 -+#define ENABLE_ASSEMBLER 0 - #endif - - /* CPU(MIPS) - MIPS 32-bit */ -- cgit v1.2.3