Merge pull request #139 from jklincn/main

This commit is contained in:
Yifan Wu 2024-01-26 22:09:29 +08:00
parent 28c8a9e9fc
commit a274521e80
4 changed files with 61 additions and 76 deletions

View file

@ -1,11 +1,11 @@
DOCKER_NAME ?= rcore-tutorial-v3
DOCKER_TAG ?= rcore-tutorial-v3:latest
.PHONY: docker build_docker
docker:
docker run --rm -it -v ${PWD}:/mnt -w /mnt ${DOCKER_NAME} bash
docker run --rm -it -v ${PWD}:/mnt -w /mnt --name rcore-tutorial-v3 ${DOCKER_TAG} bash
build_docker:
docker build -t ${DOCKER_NAME} .
docker build -t ${DOCKER_TAG} --target build .
fmt:
cd os ; cargo fmt; cd ..