issue-333 break on git clone error

2023-03-07 16:26:54 +00:00 · 2023-03-07 16:26:54 +00:00 · 0400dbe36d
parent 216c228898
commit 0400dbe36d
1 changed files with 2 additions and 0 deletions
--- a/scripts/export_src.sh
+++ b/scripts/export_src.sh
@ -39,6 +39,8 @@ clone_platform() {
        fi
        
        cd ..
+    else
+        exit 1
    fi
 }