GP-3710: GhidraDev no longer allows selecting Ghidra source repos as a

Ghidra installation
This commit is contained in:
Ryan Kurtz 2023-09-15 09:39:07 -04:00
parent 7bffc47b81
commit 69fb466b0a
3 changed files with 35 additions and 12 deletions

View file

@ -212,6 +212,9 @@ implements IWorkbenchPreferencePage {
catch (IOException e) {
throw new IOException("Not a valid Ghidra installation.");
}
if (new File(ghidraInstallDir, "certification.local.manifest").isFile()) {
throw new IOException("Ghidra source repositories are not supported.");
}
ApplicationProperties applicationProperties = layout.getApplicationProperties();
ApplicationVersion version;
try {