tree 3f7b77a4fa7b75e2c9e36a2f6fff74346919aa6d
parent 760e4327cd88a079a0688a46b13746eda0d7da23
author Paolo Bonzini <pbonzini@redhat.com> 1598421855 +0200
committer Paolo Bonzini <pbonzini@redhat.com> 1598547150 +0200

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>