From 02ce0f204b0b02436df2baeefe1c1a59af7794d0 Mon Sep 17 00:00:00 2001 From: Olof Hagsand Date: Sun, 4 Nov 2018 21:19:39 +0000 Subject: [PATCH] @ problem --- docker/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/Makefile.in b/docker/Makefile.in index 7eaed4cc..23d0a7e8 100644 --- a/docker/Makefile.in +++ b/docker/Makefile.in @@ -47,7 +47,7 @@ SHELL = /bin/sh .PHONY: all clean depend install docker push all: - @echo "Run make docker to build docker image" + echo "Run make docker to build docker image" clean: @@ -56,7 +56,7 @@ distclean: clean docker: sudo docker build -t $(IMAGE) . - @echo "cd ../example; make docker to build example application" + echo "cd ../example; make docker to build example application" push: sudo docker push $(IMAGE)