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.
This commit is contained in:
Dhruv Maroo
2023-04-14 05:56:50 +05:30
parent 1475238074
commit b561396f55

View File

@@ -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