| commit | 48328880fddf0145bdccc499160fb24dfabfbd41 | |
| author | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 26 Aug 2020 06:04:15 +0000 (26 08:04 +0200) | ||
| committer | Paolo Bonzini <pbonzini@redhat.com> | |
| Thu, 27 Aug 2020 16:52:30 +0000 (27 18:52 +0200) | ||
| tree | 3f7b77a4fa7b75e2c9e36a2f6fff74346919aa6d | treesnapshot (tar.gz zip) |
| parent | 760e4327cd88a079a0688a46b13746eda0d7da23 | commitdiff |
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>
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>
| configure | diffblobblamehistory |