From de5deccae7ef43bae6d5cc3c141f45f5b77874b2 Mon Sep 17 00:00:00 2001
From: whr9503 <wanghongru3@h-partners.com>
Date: Sat, 29 Nov 2025 03:45:24 +0000
Subject: [PATCH] update check_tools.sh.

Signed-off-by: whr9503 <wanghongru3@h-partners.com>
---
 check_tools.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/check_tools.sh b/check_tools.sh
index 4ab4a3c0..00027cfd 100644
--- a/check_tools.sh
+++ b/check_tools.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 check_tool() {
     local cmd="$1"
     local version_cmd="$2"
-- 
Gitee