Merge pull request #3016 from weety/dev

Dev
This commit is contained in:
Bernard Xiong 2019-08-29 14:04:48 +08:00 committed by GitHub
commit 779d86f1da
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions

View File

@ -32,6 +32,9 @@ def GetGCCRoot(rtconfig):
if prefix.endswith('-'): if prefix.endswith('-'):
prefix = prefix[:-1] prefix = prefix[:-1]
if exec_path == '/usr/bin':
root_path = os.path.join('/usr/lib', prefix)
else:
root_path = os.path.join(exec_path, '..', prefix) root_path = os.path.join(exec_path, '..', prefix)
return root_path return root_path