mirror of
https://github.com/rcore-os/rCore-Tutorial-v3.git
synced 2024-11-22 09:26:26 +04:00
modify Makefile for Docker
This commit is contained in:
parent
e0a3933b1c
commit
3f5308f46c