From 40b099ed79c0a1a1df3fd127a86dd13b0f1b5211 Mon Sep 17 00:00:00 2001
From: WangRunji <wangrunji0408@163.com>
Date: Thu, 15 Nov 2018 23:42:44 +0800
Subject: [PATCH] clean riscv-pk in Makefile

---
 kernel/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/Makefile b/kernel/Makefile
index e344ad18..471585c4 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -89,6 +89,7 @@ all: $(kernel)
 
 clean:
 	@cargo clean
+	@rm -rf ../riscv-pk/build
 
 doc:
 	@cargo rustdoc -- --document-private-items