From 6648bdd3a6c511cca54532b7fadbb685f885dd82 Mon Sep 17 00:00:00 2001 From: nullprop Date: Wed, 20 Nov 2024 18:13:12 +0200 Subject: [PATCH] build_editor.sh: Error out if no build result to copy --- build_editor.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/build_editor.sh b/build_editor.sh index 6d5ce30e..3f6a8e2f 100755 --- a/build_editor.sh +++ b/build_editor.sh @@ -6,6 +6,9 @@ mv_wsfile() if [ -f "./build/$1" ] then cp -v "./build/$1" "../../bin/$1" + else + printf "'%s' file not found!\n" "$1" + exit fi } @@ -14,6 +17,9 @@ mv_msysfile() if [ -f "./build/$1" ] then cp -v "./build/$1" "../../bin/$1" + else + printf "'%s' file not found!\n" "$1" + exit fi }