From b20d8207a7582cfc90d3ba4cc6178a6a8349142e Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Mon, 18 Oct 2021 20:11:58 -0400
Subject: [PATCH] Jenkins: compile delete obsolete px4_fmu-v5_ctrlalloc

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

diff --git a/.ci/Jenkinsfile-compile b/.ci/Jenkinsfile-compile
index 7d31ad16ae..e0a7763779 100644
--- a/.ci/Jenkinsfile-compile
+++ b/.ci/Jenkinsfile-compile
@@ -86,7 +86,6 @@ pipeline {
                      "px4_fmu-v3_default",
                      "px4_fmu-v4_default",
                      "px4_fmu-v4pro_default",
-                     "px4_fmu-v5_ctrlalloc",
                      "px4_fmu-v5_debug",
                      "px4_fmu-v5_default",
                      "px4_fmu-v5_rtps",