From 1676e929a86d52f38baa1fe50b0ff0cdef9e7b1f Mon Sep 17 00:00:00 2001
From: ghidraffe <108089404+ghidraffe@users.noreply.github.com>
Date: Fri, 23 May 2025 16:56:13 +0000
Subject: [PATCH] GP-0 fix issue with docker build script

---
 docker/build-docker-image.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docker/build-docker-image.sh b/docker/build-docker-image.sh
index bb9e6754f0..5b0a61879f 100755
--- a/docker/build-docker-image.sh
+++ b/docker/build-docker-image.sh
@@ -31,12 +31,12 @@ fi
 SCRIPT_FILE="$(readlink -f "$0" 2>/dev/null || readlink "$0" 2>/dev/null || echo "$0")"
 SCRIPT_DIR="${SCRIPT_FILE%/*}"
 
-if [! -e $SCRIPT_DIR/../ghidraRun] then
+if [! -e $SCRIPT_DIR/../ghidraRun]; then
 	echo "ERROR: This script must be run on a built release of Ghidra."
 	exit 1
 fi
 
-if [! -e $SCRIPT_DIR/../Ghidra/application.properties] then
+if [! -e $SCRIPT_DIR/../Ghidra/application.properties]; then
 	echo "ERROR: $SCRIPT_DIR/../Ghidra/application.properties does not exist. Dockerized Ghidra needs this file to get tagging information."
 	exit 1
 fi