From f412469546d3e95a9d176c8ec231674f677a4f67 Mon Sep 17 00:00:00 2001 From: Rbb666 <64397326+Rbb666@users.noreply.github.com> Date: Mon, 12 Oct 2026 09:14:52 +0800 Subject: [PATCH] [tools][build] Fail when the toolchain directory is missing --- tools/building.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/building.py b/tools/building.py index 125da8521e76..7abedd4f27e6 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)