summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStefan K. Berg <stefan.k.berg@ericsson.com>2016-01-29 13:29:06 +0000
committerGerrit Code Review <gerrit@172.30.200.206>2016-01-29 13:29:06 +0000
commit9626f589b3c8182307a2de624a1c97b1181eecc3 (patch)
tree350257301802b196665e73f7e067d0337d5dc4a2
parent75d42b36c6784ad03f62fad00f6e13575546b64d (diff)
parenta95fc0b32ee9cdc449c45da4c3f4cfa13229d8bf (diff)
Merge "Break early in build if docker-in-docker fails" into stable/brahmaputra
-rw-r--r--build/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/build/Makefile b/build/Makefile
index 550f360f9..71a4ad5d0 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -115,6 +115,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