mirror of
https://github.com/rcore-os/rCore-Tutorial-v3.git
synced 2024-11-22 01:16:26 +04:00
11 lines
283 B
Makefile
11 lines
283 B
Makefile
DOCKER_TAG ?= rcore-tutorial-v3:latest
|
|
.PHONY: docker build_docker
|
|
|
|
docker:
|
|
docker run --rm -it -v ${PWD}:/mnt -w /mnt --name rcore-tutorial-v3 ${DOCKER_TAG} bash
|
|
|
|
build_docker:
|
|
docker build -t ${DOCKER_TAG} --target build .
|
|
|
|
fmt:
|
|
cd os ; cargo fmt; cd ../user; cargo fmt; cd ..
|