From 9a780d46078db05c6266a1d0d7807d8fa12196bc Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Wed, 29 Jul 2020 14:53:06 +0200
Subject: [PATCH] [scripts.ci] Avoid re-deployment of dependencies from
base-build
---
bob/devtools/scripts/ci.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index 13234b8c..4dc3e8bc 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -104,6 +104,9 @@ def base_deploy(dry_run):
dry_run=dry_run,
)
+ logger.info("Removing %s after successful deployment", k)
+ os.unlink(k)
+
@ci.command(
epilog="""
--
GitLab