diff --git a/Tools/ardupilotwaf/gbenchmark.py b/Tools/ardupilotwaf/gbenchmark.py
index 8946b4e87f..7b49052c31 100644
--- a/Tools/ardupilotwaf/gbenchmark.py
+++ b/Tools/ardupilotwaf/gbenchmark.py
@@ -26,10 +26,7 @@ def configure(cfg):
 
     env.GBENCHMARK_CMAKE_GENERATOR = None
 
-    cfg.find_program('ninja', mandatory=False)
-    if not env.NINJA:
-        cfg.find_program('ninja-build', var='NINJA', mandatory=False)
-
+    cfg.find_program(['ninja', 'ninja-build'], var='NINJA', mandatory=False)
     if env.NINJA:
         env.GBENCHMARK_CMAKE_GENERATOR = 'Ninja'