diff --git a/Makefile b/Makefile index 33a2a013..2e339762 100644 --- a/Makefile +++ b/Makefile @@ -1,19 +1,8 @@ DOCKER_NAME ?= dinghao188/rcore-tutorial .PHONY: docker build_docker -all: - make -C usr user_img - make -C os build -run: - make -C usr user_img - make -C os run -clean: - make -C usr clean - make -C os clean -env: - make -C os env docker: docker run --rm -it --mount type=bind,source=$(shell pwd),destination=/mnt ${DOCKER_NAME} build_docker: - docker build -t ${DOCKER_NAME} . \ No newline at end of file + docker build -t ${DOCKER_NAME} .