From ae4badb3cdfbc8d7669cabf6fe9c2a590b5fd873 Mon Sep 17 00:00:00 2001
From: Jiajie Chen <noc@jiegec.ac.cn>
Date: Mon, 29 Apr 2019 10:45:04 +0800
Subject: [PATCH] Force python3.7 for make addr2line

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

diff --git a/kernel/Makefile b/kernel/Makefile
index 59fb48b..4cd58fd 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -386,4 +386,4 @@ endif
 
 .PHONY:
 addr2line:
-	@python3 ../tools/addr2line.py $(prefix)addr2line $(arch) $(mode)
+	@python3.7 ../tools/addr2line.py $(prefix)addr2line $(arch) $(mode)