summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--build/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile
index 74ed63495..d867df021 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -113,6 +113,8 @@ $(ISOCACHE):
# cd /tmp/fuel-main && patch -f -p0 < $(TOPDIR)/fuel-main_docker_dns.patch
#
cd /tmp/fuel-main && ./prepare-build-env.sh
+ # Verify that Docker is alive
+ sudo docker info
cd /tmp/fuel-main && make repos
$(REPOINFO) -r /tmp/fuel-main > gitinfo_fuel.txt
# Repeat build up to ten times