Re: suggestion: samurai

[René J . V . Bertin]

PS: an alternative solution for the ninja issue outlined in my OP would be a 
wrapper script like this

{{{
#!/bin/sh

if [ "${NINJA_JOBS}" != "" ] ;then
        exec ninja.bin -j "${NINJA_JOBS}" "$@"
else
        exec ninja.bin "$@"
fi
}}}