From e24aca9ccbdb8e4fa8e564f6e1e0929b88b850e3 Mon Sep 17 00:00:00 2001 From: Marvin Gaube Date: Wed, 29 Apr 2020 11:01:25 +0200 Subject: [PATCH] CI: Update ci.sh to update and make manifest when necessary --- ci.sh | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/ci.sh b/ci.sh index 03960d6ac..9bb201029 100755 --- a/ci.sh +++ b/ci.sh @@ -21,6 +21,10 @@ echo "Checking out ${GLUON_CHECKOUT}" git checkout "${GLUON_CHECKOUT}" git pull "${GLUON_REMOTE}" "${GLUON_CHECKOUT}" +update() { + make update +} + build() { echo "Preparing build..." @@ -41,8 +45,10 @@ build() { } build_all() { + update SELECTED_TARGETS=$(make list-targets) build + manifest } manifest() { @@ -57,9 +63,8 @@ manifest() { make manifest $VERBOSE } -if [[ $1 =~ ^(build|manifest|build_all)$ ]]; then - make update - "$@" +if [[ $1 =~ ^(build|manifest|build_all|update)$ ]]; then + "$@" else echo "Invalid subcommand $1" >&2 exit 1