docker: remove full docker image from docker-images target

(this image takes very long to build)

docker: remove full docker image from docker-images target
(this image takes very long to build)
b0e1a500 · Antoine Kaufmann · b6c4d59e · b0e1a500
Commit b0e1a500 authored Jun 10, 2022 by Antoine Kaufmann
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 2 deletions

docker/rules.mk docker/rules.mk +0 -2

No files found.
--- a/docker/rules.mk
+++ b/docker/rules.mk
@@ -29,8 +29,6 @@ docker-images:
 		-f docker/Dockerfile.base .
 	docker build -t simbricks/simbricks:latest \
 		-f docker/Dockerfile .
-	docker build -t simbricks/simbricks:full \
-		-f docker/Dockerfile.full .
 	docker build -t simbricks/simbricks-runenv:latest \
 		-f docker/Dockerfile.runenv docker
 	docker build -t simbricks/simbricks-min:latest \