]> gitweb.michael.orlitzky.com - bash.d.git/commit
projects / bash.d.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8005311) | patch
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)
commit1fa0562b235112b33806d10d3d1eff52a4d52f63
treefd179cb978463512fad0dbfa180936b75107082etree | snapshot
parent8005311aa67168d326eb71b0bdab4f7ccb5ca1e5commit | diff
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.
sage.sh diff | blob | history
My personal bash configuration.