diff options
author | Stefan K. Berg <stefan.k.berg@ericsson.com> | 2016-01-21 16:04:15 +0100 |
---|---|---|
committer | Stefan Berg <sfb@consultron.com> | 2016-01-29 14:25:41 +0100 |
commit | a95fc0b32ee9cdc449c45da4c3f4cfa13229d8bf (patch) | |
tree | b4eec59c3e184fa3d9d26a80abce633f8799c076 /build | |
parent | 19f52239658b8e8b905acf4e8613db51f8d03e02 (diff) |
Break early in build if docker-in-docker fails
Change-Id: Ic5d8779f938133a958627170bd379198bec36342
Signed-off-by: Stefan K. Berg <stefan.k.berg@ericsson.com>
(cherry picked from commit f7237753a6f07b872cea23331c1e779941906ace)
Diffstat (limited to 'build')
-rw-r--r-- | build/Makefile | 2 |
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 |