tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

webkit2gtk: fix jit option usage

Browse Source 
[ci skip]

Closes: #11363 [via git-merge-pr]
This commit is contained in:
q66
2019-04-28 02:50:43 +02:00
committed by Jürgen Buchmüller
parent c8c0c587b2
commit 83dd6108fc
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
srcpkgs/webkit2gtk/template
View File

@@ -48,8 +48,7 @@ desc_option_sampling_profiler="Toggle sampling profiler support (disabled on mus
# JIT conflicts with sampling_profiler # JIT conflicts with sampling_profiler
case "$XBPS_TARGET_MACHINE" in case "$XBPS_TARGET_MACHINE" in
x86_64-musl) build_options_default+=" jit" ;; ppc*|mips*|arm*) ;;
ppc*-musl|mips-musl|arm*-musl) ;;
*-musl) build_options_default+=" jit" ;; *-musl) build_options_default+=" jit" ;;
*) build_options_default+=" jit sampling_profiler" ;; *) build_options_default+=" jit sampling_profiler" ;;
esac esac