From 97dfa4112caa9d269b9a4b58e53a10c8567b59b7 Mon Sep 17 00:00:00 2001
From: Trevor Batley <trevor@batley.id.au>
Date: Mon, 4 Sep 2023 17:50:28 +1000
Subject: [PATCH] missing ;

---
 koji-setup/koji-add-builder.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/koji-setup/koji-add-builder.sh b/koji-setup/koji-add-builder.sh
index a8476e7..fcc302f 100644
--- a/koji-setup/koji-add-builder.sh
+++ b/koji-setup/koji-add-builder.sh
@@ -69,7 +69,7 @@ sudo -u kojiadmin koji edit-host --capacity="$KOJID_CAPACITY" "$KOJI_BUILD_FQDN"
 if [ $KOJI_BUILD_FQDN eq $KOJI_HUB_FQDN ] ; then
     # deploy locally
     echo "All-in-one: Hub will now be a build server as well" 
-    if [ ! -f $SCRIPT_DIR/koji-deploy-builder.sh ] then
+    if [ ! -f $SCRIPT_DIR/koji-deploy-builder.sh ] ; then
         curl $SILENT $SCRIPT_GIT/koji-deploy-builder.sh > $SCRIPT_DIR/koji-deploy-builder.sh
         chmod o+x $SCRIPT_DIR/koji-deploy-builder.sh
     fi