From 089d4dd8099ae0cb4b6ca0b1680b02ddbf66cf59 Mon Sep 17 00:00:00 2001 From: q66 Date: Tue, 12 Feb 2019 22:11:06 +0100 Subject: [PATCH] webkit2gtk: properly disable jit on ppc platforms [ci skip] --- srcpkgs/webkit2gtk/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/webkit2gtk/template b/srcpkgs/webkit2gtk/template index d2028037a3e..26e2785251f 100644 --- a/srcpkgs/webkit2gtk/template +++ b/srcpkgs/webkit2gtk/template @@ -46,13 +46,13 @@ desc_option_sampling_profiler="Toggle sampling profiler support (disabled on mus case "$XBPS_TARGET_MACHINE" in x86_64-musl) build_options_default+=" gir jit" ;; - ppc-musl) ;; + ppc*-musl) ;; mips-musl) ;; armv[56]*-musl) ;; *-musl) build_options_default+=" jit" ;; armv[56]*) build_options_default+=" gir sampling_profiler" ;; mips*) build_options_default+=" gir sampling_profiler" ;; - ppc) build_options_default+=" gir sampling_profiler" ;; + ppc*) build_options_default+=" gir sampling_profiler" ;; *) build_options_default+=" gir jit sampling_profiler" ;; esac