Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Makefile 309 Bytes
Newer Older
1 2
.PHONY: build install build_docker push_docker

Philippe Veber's avatar
Philippe Veber committed
3 4 5 6 7
build:
	jbuilder build

install:
	jbuilder install
8 9

build_docker:
10
	@for dir in ./etc/docker/*; \
11 12 13 14 15 16
	do\
		cd $${dir}; \
		bash ./build_docker.sh; \
	done

push_docker:
17
	@for dir in ./etc/docker/*; \
18 19 20 21
	do\
		cd $${dir}; \
		bash ./build_docker.sh push_yes; \
	done