diff options
| author | Rbb666 <[email protected]> | 2026-10-12 09:14:52 +0800 |
|---|---|---|
| committer | Yuqiang Wang <[email protected]> | 2026-10-12 09:56:31 +0800 |
| commit | 20c3e12b0519ff78d9ca672dadc38dc796756d16 (patch) | |
| tree | d428649407f59ebdd0a519ac20f61099fb3f88dc | |
| parent | ceef6e0ccd646aef61b907aeb9f29269d1caba50 (diff) | |
[tools][build] Fail when the toolchain directory is missing
| -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 125da8521e..7abedd4f27 100644 --- a/tools/building.py +++ b/tools/building.py @@ -1067,7 +1067,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.") - need_exit = True + sys.exit(1) if need_exit: exit(0) |