diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-26 08:04:15 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-27 18:52:30 +0200 |
| commit | 48328880fddf0145bdccc499160fb24dfabfbd41 (patch) | |
| tree | 3f7b77a4fa7b75e2c9e36a2f6fff74346919aa6d /scripts/mtest2make.py | |
| 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>
Diffstat (limited to 'scripts/mtest2make.py')
0 files changed, 0 insertions, 0 deletions