From 7447949cf050416920659c827979e8987dd6efa2 Mon Sep 17 00:00:00 2001
From: otavepto <153766569+otavepto@users.noreply.github.com>
Date: Mon, 25 Dec 2023 22:27:06 +0200
Subject: [PATCH] in Linux build script check for missing files

---
 build_linux.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build_linux.sh b/build_linux.sh
index 295f88d4..3ccde529 100644
--- a/build_linux.sh
+++ b/build_linux.sh
@@ -316,7 +316,10 @@ function build_for () {
   local build_cmds=()
   local -A objs_dirs=()
   for src_file in $( echo "${all_src[@]}" ); do
-    [[ -f "$src_file" ]] || continue
+    [[ -f "$src_file" ]] || {
+      echo "[X] file "$src_file" wasn't found" >&2;
+      return 1;
+    }
     
     # https://stackoverflow.com/a/9559024
     local obj_dir=$( [[ -d "${src_file%/*}" ]] && echo "${src_file%/*}" || echo '.' )