mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-03 17:59:46 +02:00
GP-0 fix docker build script warning
This commit is contained in:
parent
73f8749439
commit
da37f9d3c4
1 changed files with 2 additions and 2 deletions
|
@ -31,12 +31,12 @@ fi
|
||||||
SCRIPT_FILE="$(readlink -f "$0" 2>/dev/null || readlink "$0" 2>/dev/null || echo "$0")"
|
SCRIPT_FILE="$(readlink -f "$0" 2>/dev/null || readlink "$0" 2>/dev/null || echo "$0")"
|
||||||
SCRIPT_DIR="${SCRIPT_FILE%/*}"
|
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."
|
echo "ERROR: This script must be run on a built release of Ghidra."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
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."
|
echo "ERROR: $SCRIPT_DIR/../Ghidra/application.properties does not exist. Dockerized Ghidra needs this file to get tagging information."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue