Update Makefile

This commit is contained in:
Yifan Wu 2021-02-25 22:36:46 +08:00 committed by GitHub
parent 3f5308f46c
commit 9196963e44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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} .
docker build -t ${DOCKER_NAME} .