diff options
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 |