From 9196963e44226566c5ccba680801d1e665a2f516 Mon Sep 17 00:00:00 2001 From: Yifan Wu Date: Thu, 25 Feb 2021 22:36:46 +0800 Subject: [PATCH] Update Makefile --- Makefile | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) 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} .