diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gcc.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/gcc.py b/tools/gcc.py index 11751ebeec..0b5b2c3a20 100644 --- a/tools/gcc.py +++ b/tools/gcc.py @@ -32,7 +32,12 @@ 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) + print(root_path) + else: + root_path = os.path.join(exec_path, '..', prefix) + print(root_path) return root_path |