From b561396f559dd8426e2ecb22cb63ae13258df80f Mon Sep 17 00:00:00 2001 From: Dhruv Maroo Date: Fri, 14 Apr 2023 05:56:50 +0530 Subject: [PATCH] Remove existing installation before installing the new extension * Also, clear out the `dist/` directory before building. This helps in avoiding duplicate builds caused sue of different dates. --- build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build.sh b/build.sh index c06f531..10d0f5f 100755 --- a/build.sh +++ b/build.sh @@ -67,6 +67,8 @@ then exit 1 fi +rm dist/* 2> /dev/null + status "Building GhidRust" gradle -PGHIDRA_INSTALL_DIR="$GHIDRA" @@ -85,6 +87,7 @@ fi status "Installing GhidRust" +sudo rm -f "$GHIDRA"/*GhidRust* 2> /dev/null sudo cp dist/* "$GHIDRA"/Extensions/Ghidra if [[ $? -ne 0 ]]; then