From e6c932a6caf02548a38d3b1763bc1c83d8d9ca1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mathias=20L=C3=BCdtke?= <mathias.luedtke@ipa.fraunhofer.de>
Date: Wed, 21 Jul 2021 13:09:47 +0200
Subject: [PATCH] Test install tags for BUILER=catkin_make_isolated_devel

---
 industrial_ci/src/builders/catkin_make_isolated_devel.sh | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/industrial_ci/src/builders/catkin_make_isolated_devel.sh b/industrial_ci/src/builders/catkin_make_isolated_devel.sh
index 6ff67c1f7..a9aaf5332 100644
--- a/industrial_ci/src/builders/catkin_make_isolated_devel.sh
+++ b/industrial_ci/src/builders/catkin_make_isolated_devel.sh
@@ -23,11 +23,3 @@ ici_warn "BUILDER=catkin_make_isolated_devel should only be used in addition to
 function ici_extend_space {
     echo "$1/devel"
 }
-
-function builder_run_build {
-    local extend=$1; shift
-    local ws=$1; shift
-    local opts=()
-    _append_job_opts opts PARALLEL_BUILDS 0
-    _run_catkin_make_isolated all "$extend" "$ws" "${opts[@]}" "$@"
-}