diff options
| author | ArdaFu <[email protected]> | 2018-11-07 13:40:41 +0800 |
|---|---|---|
| committer | ArdaFu <[email protected]> | 2018-11-07 13:40:41 +0800 |
| commit | e7ca31ccaa46fa30564b136dc33daa08d8397b2c (patch) | |
| tree | 635905cfd3815d46d8c7a15527d4b85696d1f6f9 /tools/building.py | |
| parent | 3a63c0af5698188d467ef3a2648921354920d9be (diff) | |
[tools] Modify building.py and gcc.py for work with Python 3.
Diffstat (limited to 'tools/building.py')
| -rw-r--r-- | tools/building.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/building.py b/tools/building.py index afb896f7bf..18ec7f1883 100644 --- a/tools/building.py +++ b/tools/building.py @@ -806,7 +806,7 @@ def EndBuilding(target, program = None): if not GetOption('help') and not GetOption('target'): if not os.path.exists(rtconfig.EXEC_PATH): - print ("Error: the toolchain path ("+rtconfig.EXEC_PATH+") is not exist, please check 'EXEC_PATH' in path or rtconfig.py.") + print ("Error: the toolchain path (" + rtconfig.EXEC_PATH + ") is not exist, please check 'EXEC_PATH' in path or rtconfig.py.") need_exit = True if need_exit: |