diff options
| author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 12:47:55 +0200 |
|---|---|---|
| committer | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 16:33:17 +0200 |
| commit | e6362e61d4cb76998694df32c864f5ceb3d95d54 (patch) | |
| tree | 488bc790669f4762c765f695d66dd7ec4650424a /system/yelp-tools | |
| parent | a68784bbe77459b8ba350f6acf6132d3a5e67eab (diff) | |
system/yelp-tools: Support alternatives for ninja
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'system/yelp-tools')
| -rw-r--r-- | system/yelp-tools/yelp-tools.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/system/yelp-tools/yelp-tools.SlackBuild b/system/yelp-tools/yelp-tools.SlackBuild index a761dcc65a79..42386dce40f0 100644 --- a/system/yelp-tools/yelp-tools.SlackBuild +++ b/system/yelp-tools/yelp-tools.SlackBuild @@ -81,8 +81,8 @@ cd build --mandir=/usr/man \ --prefix=/usr \ --sysconfdir=/etc - 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 \ |