diff options
author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 12:47:52 +0200 |
---|---|---|
committer | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 16:33:13 +0200 |
commit | 3762a75cc24debed6c5a60cfe03b0de45b43617c (patch) | |
tree | aaf001f893b5f74dfb055716c9b43050e5a4c443 /multimedia | |
parent | 399aff41fdde8e0ea3213c6e470e2ba1cfbad76f (diff) |
multimedia/gst-plugins-bad: Support alternatives for ninja
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'multimedia')
-rw-r--r-- | multimedia/gst-plugins-bad/gst-plugins-bad.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
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" | \ |