commit | 48328880fddf0145bdccc499160fb24dfabfbd41 | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Wed Aug 26 08:04:15 2020 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Thu Aug 27 18:52:30 2020 +0200 |
tree | 3f7b77a4fa7b75e2c9e36a2f6fff74346919aa6d | |
parent | 760e4327cd88a079a0688a46b13746eda0d7da23 [diff] |
configure: add --ninja option On Windows it is not possible to invoke a Python script as $NINJA. If ninja is present use it directly, while if it is not we can keep using ninjatool. Reported-by: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>