From c25a82bf671f90b4e1ad950c11000dde2832a564 Mon Sep 17 00:00:00 2001
From: Helmut Pozimski <helmut@pozimski.eu>
Date: Fri, 30 Aug 2019 14:46:18 +0200
Subject: [PATCH] webkit2gtk: disable jit again for armv7l*

---
 srcpkgs/webkit2gtk/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/webkit2gtk/template b/srcpkgs/webkit2gtk/template
index 551b5a371d7..fe2c2748860 100644
--- a/srcpkgs/webkit2gtk/template
+++ b/srcpkgs/webkit2gtk/template
@@ -55,7 +55,7 @@ fi
 
 # only a few platform support JIT
 case "$XBPS_TARGET_MACHINE" in
-	armv7l*|aarch64*|x86_64*|mips*)
+	aarch64*|x86_64*|mips*)
 		build_options_default+=" jit"
 		if [ "$XBPS_TARGET_LIBC" = "glibc" ]; then
 			build_options_default+=" sampling_profiler"