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/ninjatool.py | |
| parent | 760e4327cd88a079a0688a46b13746eda0d7da23 (diff) | |
| download | focaccia-qemu-48328880fddf0145bdccc499160fb24dfabfbd41.tar.gz focaccia-qemu-48328880fddf0145bdccc499160fb24dfabfbd41.zip | |
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/ninjatool.py')
0 files changed, 0 insertions, 0 deletions