lzhengning
/
JittorMirror
mirror of https://github.com/Jittor/Jittor
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix os key

This commit is contained in:
Dun Liang 2021-06-25 11:27:02 +08:00
parent 1246c37692
commit 8908e9d9ad
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
python/jittor/__init__.py
View File

@ -9,7 +9,7 @@
# file 'LICENSE.txt', which is part of this source code package.
# ***************************************************************
__version__ = '1.2.3.43'
__version__ = '1.2.3.44'
from jittor_utils import lock
with lock.lock_scope():
ori_int = int

4
python/jittor/compiler.py
View File

@ -1079,10 +1079,10 @@ if os.path.isfile(version_file) and not os.path.isdir(os.path.join(jittor_path,
os_id = os_release["ID"]
os_key = os_type.get(os_id, "ubuntu")
os_key += '-' + os_arch if os_arch else ''
if "os_key" in os.environ:
os_key = os.environ['os_key']
if platform.machine()=='aarch64':
os_key += '-aarch64'
if "os_key" in os.environ:
os_key = os.environ['os_key']
LOG.i("OS type:", os_id, " OS key:", os_key)
key += '-' + os_key + '.o'
# TODO: open the website