From 16572db09971f2d2950b6880d72217812acd05d8 Mon Sep 17 00:00:00 2001
From: Yu Chen <yuchen@mail.tsinghua.edu.cn>
Date: Fri, 20 May 2022 08:57:00 +0800
Subject: [PATCH] add cargo fmt in Makefile, and exec make fmt

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 2e339762..c67d48a1 100644
--- a/Makefile
+++ b/Makefile
@@ -6,3 +6,5 @@ docker:
 
 build_docker: 
 	docker build -t ${DOCKER_NAME} .
+fmt:
+	cd os ; cargo fmt; cd ../user; cargo fmt; cd ..
\ No newline at end of file