From da37f9d3c4309df74f0ebb5725e38b6d40c600b5 Mon Sep 17 00:00:00 2001
From: ghidraffe <108089404+ghidraffe@users.noreply.github.com>
Date: Fri, 23 May 2025 17:38:11 +0000
Subject: [PATCH] GP-0 fix docker build script warning

---
 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 5b0a61879f..17237807f1 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