[
https://issues.jboss.org/browse/JBIDE-18848?page=com.atlassian.jira.plugi...
]
Lukáš Valach closed JBIDE-18848.
--------------------------------
Verified, I can confirm that:
* The ide-config.properties is wraped as maven artifact
* ide-config.properties generator (ide-config.properties.py)
** checks for duplicate keys
** checks that there are exactly 8 keys for each prod/version
** checks for presence of ".GA" and ".Final" during stable build
setup tests for ide-config.properties
-------------------------------------
Key: JBIDE-18848
URL:
https://issues.jboss.org/browse/JBIDE-18848
Project: Tools (JBoss Tools)
Issue Type: Feature Request
Components: build, common
Reporter: Max Rydahl Andersen
Assignee: Nick Boldt
Labels: releasework
Fix For: 4.4.2.Final
JBIDE-18837 and other jiras showed that ide-config.properties risk having errors
introduced into it.
we should have a test that runs every day to check if it is still consistent.
--
This message was sent by Atlassian JIRA
(v7.2.3#72005)