diff --git a/tools/gcc.py b/tools/gcc.py index 11751ebeecaf4929c6ae465310087e5f80b1fccc..525e11c44b915301a5ba31d7b3e2a4dfefd20725 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