diff --git a/Makefile.docker b/Makefile.docker index 17eb03e..33c8dc7 100644 --- a/Makefile.docker +++ b/Makefile.docker @@ -1,11 +1,12 @@ +all: + docker run -v $$PWD:/usr/src/app -it portal64 make + +build: + docker build -t portal64 . + +bash: + docker run -v $$PWD:/usr/src/app -it portal64 bash + clean: sudo rm -rf build -docker-build: - docker build -t portal64 . - -docker-make: - docker run -v $$PWD:/usr/src/app -it portal64 make - -docker-bash: - docker run -v $$PWD:/usr/src/app -it portal64 bash diff --git a/README.md b/README.md index 88a3945..0075959 100644 --- a/README.md +++ b/README.md @@ -108,14 +108,14 @@ make fix Build the Docker image. ```sh -make -f Makefile.docker docker-build +make -f Makefile.docker build ```
Then build. ```sh -make -f Makefile.docker docker-make +make -f Makefile.docker ```