From 0400dbe36db6f6f12118f09f54b2022e880ad7dd Mon Sep 17 00:00:00 2001 From: Roman Pelmegov Date: Tue, 7 Mar 2023 16:26:54 +0000 Subject: [PATCH] issue-333 break on git clone error --- scripts/export_src.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/export_src.sh b/scripts/export_src.sh index f09b432..0267c66 100755 --- a/scripts/export_src.sh +++ b/scripts/export_src.sh @@ -39,6 +39,8 @@ clone_platform() { fi cd .. + else + exit 1 fi }