mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IJI-9: gant classpath fix; args fix
This commit is contained in:
+2
-2
@@ -83,8 +83,8 @@ internal class Context(private val errorHandler: Consumer<String> = Consumer { e
|
||||
?.filter { it.isNotBlank() }
|
||||
?.mapTo(mutableSetOf(), String::trim) ?: mutableSetOf<String>()
|
||||
|
||||
devRepoDir = ignoreCaseInDirName(System.getProperty(devRepoArg)) ?: error(devRepoArg)
|
||||
iconsRepoDir = ignoreCaseInDirName(System.getProperty(iconsRepoArg)) ?: error(iconsRepoArg)
|
||||
devRepoDir = System.getProperty(devRepoArg)?.let(::ignoreCaseInDirName) ?: error(devRepoArg)
|
||||
iconsRepoDir = System.getProperty(iconsRepoArg)?.let(::ignoreCaseInDirName) ?: error(iconsRepoArg)
|
||||
iconsRepoName = System.getProperty(iconsRepoNameArg) ?: "icons repo"
|
||||
devRepoName = System.getProperty(devRepoNameArg) ?: "dev repo"
|
||||
skipDirsPattern = System.getProperty(patternArg)
|
||||
|
||||
Reference in New Issue
Block a user