From 3762a75cc24debed6c5a60cfe03b0de45b43617c Mon Sep 17 00:00:00 2001 From: Heinz Wiesinger Date: Sun, 4 Jul 2021 12:47:52 +0200 Subject: multimedia/gst-plugins-bad: Support alternatives for ninja Signed-off-by: Heinz Wiesinger --- multimedia/gst-plugins-bad/gst-plugins-bad.SlackBuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'multimedia/gst-plugins-bad') diff --git a/multimedia/gst-plugins-bad/gst-plugins-bad.SlackBuild b/multimedia/gst-plugins-bad/gst-plugins-bad.SlackBuild index 29dc72b7864fe..019cd012f4e66 100644 --- a/multimedia/gst-plugins-bad/gst-plugins-bad.SlackBuild +++ b/multimedia/gst-plugins-bad/gst-plugins-bad.SlackBuild @@ -88,8 +88,8 @@ cd build --prefix=/usr \ --sysconfdir=/etc \ -Dexamples=disabled - ninja - DESTDIR=$PKG ninja install + "${NINJA:=ninja}" + DESTDIR=$PKG $NINJA install cd .. find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | \ -- cgit v1.2.3