]> gitweb.michael.orlitzky.com - bash.d.git/commitdiff
sage.sh: support NINJA=samu
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 13 Nov 2023 19:57:14 +0000 (14:57 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 13 Nov 2023 19:57:14 +0000 (14:57 -0500)
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.


No differences found