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 }