diff options
| author |   Stefan K. Berg <stefan.k.berg@ericsson.com> | 2016-01-29 13:29:06 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-01-29 13:29:06 +0000 |
| commit | 9626f589b3c8182307a2de624a1c97b1181eecc3 (patch) | |
| tree | 350257301802b196665e73f7e067d0337d5dc4a2 /build/Makefile | |
| parent | 75d42b36c6784ad03f62fad00f6e13575546b64d (diff) | |
| parent | a95fc0b32ee9cdc449c45da4c3f4cfa13229d8bf (diff) | |
Merge "Break early in build if docker-in-docker fails" into stable/brahmaputra
Diffstat (limited to 'build/Makefile')
| -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 |