diff options
Diffstat (limited to 'project')
| -rw-r--r-- | project/VersionUtil.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/project/VersionUtil.scala b/project/VersionUtil.scala index fab22e66d4..6c8aebf74f 100644 --- a/project/VersionUtil.scala +++ b/project/VersionUtil.scala @@ -115,7 +115,9 @@ object VersionUtil { val in = new FileInputStream(file("versions.properties")) try props.load(in) finally in.close() - props.asScala.toMap + props.asScala.toMap.map { + case (k, v) => (k, sys.props.getOrElse(k, v)) // allow system properties to override versions.properties + } } /** Get a subproject version number from `versionProps` */ |