diff options
author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 12:47:54 +0200 |
---|---|---|
committer | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-07-04 16:33:16 +0200 |
commit | 57b57040680749a46f143b6606b3917bd1d7cf5e (patch) | |
tree | 783de10f54baab51fbe73fee89d634a78430b971 /system | |
parent | 69cf538d194805648f6fd257576004b9a266f021 (diff) |
system/osinfo-db-tools: Support alternatives for ninja
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'system')
-rw-r--r-- | system/osinfo-db-tools/osinfo-db-tools.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/system/osinfo-db-tools/osinfo-db-tools.SlackBuild b/system/osinfo-db-tools/osinfo-db-tools.SlackBuild index 0762afef7295..54fbeb563e9a 100644 --- a/system/osinfo-db-tools/osinfo-db-tools.SlackBuild +++ b/system/osinfo-db-tools/osinfo-db-tools.SlackBuild @@ -83,8 +83,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 \ |