diff options
| author | weety <[email protected]> | 2019-08-28 17:24:16 +0800 |
|---|---|---|
| committer | weety <[email protected]> | 2019-08-28 17:24:16 +0800 |
| commit | 25177283867f8930a27533d40c125ff7e0862f87 (patch) | |
| tree | 009c75e5563daac22f4cb29cca42fc8c939e5b93 | |
| parent | 80a0a80874be02c7e2e4d4957d85b03c787e14ba (diff) | |
Remove unused debug code.
| -rw-r--r-- | tools/gcc.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/gcc.py b/tools/gcc.py index 0b5b2c3a20..525e11c44b 100644 --- a/tools/gcc.py +++ b/tools/gcc.py @@ -34,10 +34,8 @@ def GetGCCRoot(rtconfig): 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 |
