From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 13 Nov 2023 19:57:14 +0000 (-0500)
Subject: sage.sh: support NINJA=samu
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=1fa0562b235112b33806d10d3d1eff52a4d52f63;hp=1fa0562b235112b33806d10d3d1eff52a4d52f63;p=bash.d.git

sage.sh: support NINJA=samu

The ninja build system supports overriding "ninja" with $NINJA, just
like how $MAKE overrides "make". In Gentoo we go one step further and
allow dev-util/samurai to replace dev-util/ninja when NINJA=samu.

Here we tweak sage-configure to override sage's ninja check when NINJA
is set in the environment.
---