diff options
| author | Bernard Xiong <[email protected]> | 2019-08-29 14:04:48 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-29 14:04:48 +0800 |
| commit | 779d86f1daba7e7118e58419e669d4c2d91968b1 (patch) | |
| tree | 973497957624147923ccb65b7f9f92fa998bdf55 | |
| parent | 649ead5b85fd69c90d56bf567f3a23d69cb226a2 (diff) | |
| parent | 25177283867f8930a27533d40c125ff7e0862f87 (diff) | |
Merge pull request #3016 from weety/dev
Dev
| -rw-r--r-- | tools/gcc.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/gcc.py b/tools/gcc.py index 11751ebeec..525e11c44b 100644 --- a/tools/gcc.py +++ b/tools/gcc.py @@ -32,7 +32,10 @@ def GetGCCRoot(rtconfig): if prefix.endswith('-'): prefix = prefix[:-1] - root_path = os.path.join(exec_path, '..', prefix) + if exec_path == '/usr/bin': + root_path = os.path.join('/usr/lib', prefix) + else: + root_path = os.path.join(exec_path, '..', prefix) return root_path |