diff options
Diffstat (limited to 'libraries/webkit2gtk')
| -rw-r--r-- | libraries/webkit2gtk/webkit2gtk.SlackBuild | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libraries/webkit2gtk/webkit2gtk.SlackBuild b/libraries/webkit2gtk/webkit2gtk.SlackBuild index f0b8a7dcedfdb..37192c63ad4c0 100644 --- a/libraries/webkit2gtk/webkit2gtk.SlackBuild +++ b/libraries/webkit2gtk/webkit2gtk.SlackBuild @@ -92,8 +92,9 @@ cd build # The build might crash on high specs machines because ninja eat all # of the resources, so let's try to limit it to half the available ones -ninja -j$(expr $(nproc) / 2) -DESTDIR=$PKG ninja -j1 install +"${NINJA:=ninja}" +$NINJA -j$(expr $(nproc) / 2) +DESTDIR=$PKG $NINJA -j1 install mkdir -p $PKG/usr/share/gtk-doc/html/webkit{2,dom}gtk-4.0 install -m 0644 ../Documentation/webkit2gtk-4.0/html/* \ |