From af52ce3956d88dd0c64da2e7cbfa7f1baf533e05 Mon Sep 17 00:00:00 2001
From: Miguel Prada <miguel.prada@tecnalia.com>
Date: Mon, 11 Feb 2019 11:11:07 +0100
Subject: [PATCH] Do not attempt to remove bind-mounted directories from
 container

---
 scripts/pre-deploy-cleanup.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/pre-deploy-cleanup.bash b/scripts/pre-deploy-cleanup.bash
index eb33139..fadce20 100644
--- a/scripts/pre-deploy-cleanup.bash
+++ b/scripts/pre-deploy-cleanup.bash
@@ -2,6 +2,6 @@
 
 set -e
 
-rm -rf /root/catkin_ws/build /root/catkin_ws/devel /root/catkin_ws/src /root/ici /root/src
+rm -rf /root/catkin_ws/build /root/catkin_ws/devel /root/catkin_ws/src
 
 # Unset env vars?
-- 
GitLab