From 14e785bb609dd884c54feae5407035b8ecf5c166 Mon Sep 17 00:00:00 2001
From: Marco Brandizi <marco.brandizi@gmail.com>
Date: Tue, 19 Sep 2023 19:17:15 +0100
Subject: [PATCH] Typo.

---
 ci-build/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci-build/build.sh b/ci-build/build.sh
index 62f5788..9232f98 100755
--- a/ci-build/build.sh
+++ b/ci-build/build.sh
@@ -175,7 +175,7 @@ if $NEEDS_PUSH; then
   git push --force --tags origin HEAD:"$GIT_BRANCH"
 fi
 
-if [[ -e ./ci-build/build-end.sh ]] then
+if [[ -e ./ci-build/build-end.sh ]]; then
 	echo -e "--- Invking build-end.sh hook ----"
 	. ./ci-build/build-end.sh
 fi