mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2024-11-24 21:21:56 +00:00
GP-913: When the build adds new properties to application.properties, it
no longer assumes the primary repo is named "ghidra"
This commit is contained in:
parent
5234839b24
commit
b9ac9ea1ab
@ -32,7 +32,7 @@ def PROJECT_DIR = file (rootProject.projectDir.absolutePath)
|
|||||||
ext.DISTRIBUTION_DIR = file("$buildDir/dist")
|
ext.DISTRIBUTION_DIR = file("$buildDir/dist")
|
||||||
ext.ZIP_NAME_PREFIX = "${rootProject.DISTRO_PREFIX}_${rootProject.BUILD_DATE_SHORT}"
|
ext.ZIP_NAME_PREFIX = "${rootProject.DISTRO_PREFIX}_${rootProject.BUILD_DATE_SHORT}"
|
||||||
ext.ZIP_DIR_PREFIX = "${rootProject.DISTRO_PREFIX}"
|
ext.ZIP_DIR_PREFIX = "${rootProject.DISTRO_PREFIX}"
|
||||||
ext.ALL_REPOS = ['ghidra']
|
ext.ALL_REPOS = [rootProject.file('.').getName()]
|
||||||
|
|
||||||
// Add any additional repos to the ALL_REPOS array
|
// Add any additional repos to the ALL_REPOS array
|
||||||
File extensionsList = file("ghidra.repos.config")
|
File extensionsList = file("ghidra.repos.config")
|
||||||
|
Loading…
Reference in New Issue
Block a user