From 3a404affb7c37b4c7fcfa039f97d4213749f8ca6 Mon Sep 17 00:00:00 2001 From: Patrick Gehrsitz Date: Fri, 12 Jan 2024 23:56:04 +0100 Subject: [PATCH] chore: fix `clean_apps` for installations without all backends If one of all the possible backends is not installed, `clean_apps` inside `build.sh` crashes. Signed-off-by: Patrick Gehrsitz --- bin/build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/bin/build.sh b/bin/build.sh index 6c03f292..c94b71dd 100755 --- a/bin/build.sh +++ b/bin/build.sh @@ -166,6 +166,9 @@ clone_apps() { ### Run 'make clean' in cloned folders clean_apps() { for app in "${ALL_PATHS[@]}"; do + if [[ ! -d "${path}" ]]; then + printf "'%s' does not exist! Clean skipped ...\n" "${path}" + fi printf "\nRunning 'make clean' in %s ... \n" "${app}" pushd "${app}" &> /dev/null || exit 1 make clean