[projects/cleanbuild.git] / docker / build-docker.sh

#!/bin/sh
# use this script to build the image locally
set -e

image=registry.gitlab.com/pld-linux/cleanbuild
docker build --pull -t $image .
Commit	Line	Data
ce96f77c	1	#!/bin/sh
878b6d64	2	# use this script to build the image locally
bdd660f0	3	set -e
878b6d64 ER	4
	5	image=registry.gitlab.com/pld-linux/cleanbuild
	6	docker build --pull -t $image .