From 4b9b2d785e59ba993396e8b99298319da98d33b1 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Thu, 15 Feb 2018 15:59:10 +0100
Subject: [PATCH] Be verbose about miniconda installation
---
gitlab/functions.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 78b1d7b..e8797d0 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -307,7 +307,7 @@ install_miniconda() {
fi
# install miniconda
- bash miniconda.sh -b -p ${1}
+ run_cmd bash miniconda.sh -b -p ${1}
# Put back cache and merge urls.txt
merge_conda_cache ${1}/pkgs ${1}.cached/pkgs
--
GitLab