diff options
| author | weety <[email protected]> | 2019-08-28 16:52:58 +0800 |
|---|---|---|
| committer | weety <[email protected]> | 2019-08-28 16:52:58 +0800 |
| commit | 80a0a80874be02c7e2e4d4957d85b03c787e14ba (patch) | |
| tree | 5efcf0fc0af5d5b90934b4728871a5b59b759d82 /tools | |
| parent | 9a6e47bcc6234d4f10c138bce6f2b1313c9577d2 (diff) | |
Compatible with gcc-arm-none-eabi toolchain under linux.
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 |
