diff options
author | Stefan K. Berg <stefan.k.berg@ericsson.com> | 2016-01-21 16:04:15 +0100 |
---|---|---|
committer | Stefan Berg <stefan.k.berg@ericsson.com> | 2016-01-24 00:06:37 +0000 |
commit | f7237753a6f07b872cea23331c1e779941906ace (patch) | |
tree | 0630a95a8d959b049981e8e7bd50a4b29b8df51c /build | |
parent | 6366a06bb43d5db7b54c454df57831292966d6d4 (diff) |
Break early in build if docker-in-docker fails
Change-Id: Ic5d8779f938133a958627170bd379198bec36342
Signed-off-by: Stefan K. Berg <stefan.k.berg@ericsson.com>
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 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 |