From e2563388eb97dbddb7a434c497f1ebbacea768ed Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Mon, 22 Feb 2021 20:31:57 -0500
Subject: [PATCH] Jenkins compile removed deleted variant

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

diff --git a/.ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile
index d85e75266d..71b49ea5c2 100644
--- a/.ci/Jenkinsfile-compile
+++ b/.ci/Jenkinsfile-compile
@@ -73,7 +73,6 @@ pipeline {
                      "px4_fmu-v2_multicopter",
                      "px4_fmu-v2_rover",
                      "px4_fmu-v2_test",
-                     "px4_fmu-v3_ctrlalloc",
                      "px4_fmu-v3_default",
                      "px4_fmu-v4_cannode",
                      "px4_fmu-v4_default",