From 471d05381b25e1d31e9e1f7f80687f5a23bbed61 Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Wed, 10 Apr 2019 10:54:49 +0200
Subject: [PATCH] CI: also build PX4 SITL without ninja

---
 .ci/Jenkinsfile-compile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile
index 3aa56342e3..d14f856bac 100644
--- a/.ci/Jenkinsfile-compile
+++ b/.ci/Jenkinsfile-compile
@@ -24,7 +24,7 @@ pipeline {
           ]
 
           def base_builds = [
-            target: ["px4_sitl_rtps"],
+            target: ["px4_sitl_rtps", "NO_NINJA_BUILD=1 px4_sitl_default"],
             image: docker_images.base,
             archive: false
           ]