www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 29ed38ec394644242e7797b095c7ca598b9feef8
parent 3460e4d1b19eaa753f72b0baf8aee1c2032613c2
Author: Ilia Bozhinov <ammen99@gmail.com>
Date:   Thu, 19 Mar 2020 22:55:53 +0100

update_build.sh: fix build_component function

Diffstat:
Mupdate_build.sh | 6+++++-
1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/update_build.sh b/update_build.sh @@ -10,7 +10,11 @@ if [ "$STREAM" = "" ]; then fi # First argument is the name of the component -build_component { +build_component() { +if [ ! -d $BUILDROOT/$1 ]; then + echo "Component $1 not found, skipping ..." + return +fi cd $BUILDROOT/$1 git fetch origin git checkout origin/${STREAM}