webkit2gtk: properly disable jit on ppc platforms
[ci skip]
This commit is contained in:
parent
0f4eb97d9f
commit
089d4dd809
1 changed files with 2 additions and 2 deletions
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in a new issue