From 9c6430194cd6d1df1e4848ebc579fb1d8860d098 Mon Sep 17 00:00:00 2001
From: Yu Chen <yuchen@mail.tsinghua.edu.cn>
Date: Fri, 20 May 2022 08:58:01 +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..1cd8399c 100644
--- a/Makefile
+++ b/Makefile
@@ -6,3 +6,5 @@ docker:
 
 build_docker: 
 	docker build -t ${DOCKER_NAME} .
+fmt:
+	cd os ; cargo fmt;  cd ..
\ No newline at end of file