diff options
| author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 12:47:49 +0200 |
|---|---|---|
| committer | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 16:33:10 +0200 |
| commit | 1d45bcce5fb42ad4f5b16bb3eb12490409908125 (patch) | |
| tree | 055a50c4c4045500a52253782f2dd9a29624ac5e /libraries/gnome-desktop | |
| parent | fff6936939656a89c436a3cb7047e1e82951a36c (diff) | |
libraries/gnome-desktop: Support alternatives for ninja
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'libraries/gnome-desktop')
| -rw-r--r-- | libraries/gnome-desktop/gnome-desktop.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/gnome-desktop/gnome-desktop.SlackBuild b/libraries/gnome-desktop/gnome-desktop.SlackBuild index 4a5a497d6434e..d5c3e00f2b644 100644 --- a/libraries/gnome-desktop/gnome-desktop.SlackBuild +++ b/libraries/gnome-desktop/gnome-desktop.SlackBuild @@ -86,8 +86,8 @@ cd build -Dsystemd=disabled \ -Ddesktop_docs=false \ -Dgtk_doc=true - ninja - DESTDIR=$PKG ninja install + "${NINJA:=ninja}" + DESTDIR=$PKG $NINJA install cd .. find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ |