diff options
-rwxr-xr-x | extra/webkit2gtk/build | 4 | ||||
-rw-r--r-- | extra/webkit2gtk/checksums | 2 | ||||
-rw-r--r-- | extra/webkit2gtk/sources | 2 | ||||
-rw-r--r-- | extra/webkit2gtk/version | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/extra/webkit2gtk/build b/extra/webkit2gtk/build index 5f8a60f7..83c464cc 100755 --- a/extra/webkit2gtk/build +++ b/extra/webkit2gtk/build @@ -8,11 +8,11 @@ sed_i() { # Enable streaming related options if gstreamer # is installed. -kiss l gst-plugins-base && streaming=ON +cpt-list gst-plugins-base && streaming=ON # Enable the use of openjpeg if the package is # installed. -kiss l openjpeg2 && jpeg=ON +cpt-list openjpeg2 && jpeg=ON patch -p1 < fix-musl.patch diff --git a/extra/webkit2gtk/checksums b/extra/webkit2gtk/checksums index 3a26880c..e8dc9ec1 100644 --- a/extra/webkit2gtk/checksums +++ b/extra/webkit2gtk/checksums @@ -1,2 +1,2 @@ -f0898ac072c220e13a4aee819408421a6cb56a6eb89170ceafe52468b0903522 webkitgtk-2.28.3.tar.xz +821952e8c9303ed752f1fb1d4283f612c25249d00d705d2b79c2db1bc49c9464 webkitgtk-2.28.4.tar.xz 67f7138b8d04e8bc02ce1bdbf728342abb55ef08566371105b3aefa0d3955a57 fix-musl.patch diff --git a/extra/webkit2gtk/sources b/extra/webkit2gtk/sources index 30b433f1..aa430eec 100644 --- a/extra/webkit2gtk/sources +++ b/extra/webkit2gtk/sources @@ -1,2 +1,2 @@ -https://webkitgtk.org/releases/webkitgtk-2.28.3.tar.xz +https://webkitgtk.org/releases/webkitgtk-2.28.4.tar.xz patches/fix-musl.patch diff --git a/extra/webkit2gtk/version b/extra/webkit2gtk/version index 696c6c03..d61eaa80 100644 --- a/extra/webkit2gtk/version +++ b/extra/webkit2gtk/version @@ -1 +1 @@ -2.28.3 1 +2.28.4 1 |