andrey/rCore
1
0
Fork 0
mirror of https://github.com/rcore-os/rCore.git synced 2024-11-22 16:16:16 +04:00
Code Issues Projects Releases Wiki Activity

Force python3.7 for make addr2line

Browse Source
This commit is contained in:
Jiajie Chen 2019-04-29 10:45:04 +08:00
parent e5894b652c
commit ae4badb3cd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kernel/Makefile
View File

@ -386,4 +386,4 @@ endif
.PHONY:
addr2line:
@python3 ../tools/addr2line.py $(prefix)addr2line $(arch) $(mode)
@python3.7 ../tools/addr2line.py $(prefix)addr2line $(arch) $(mode)