Typo.

Rothamsted · Sep 19, 2023 · 14e785b · 14e785b
1 parent f8ca59d
commit 14e785b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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