Test-runs must use extra.rvm.args instead of extra.args in almost all cases

Description

The use of the extra.args property in test-run definitions must be avoided. Its behaviour is confusing: extra.args can only be set for build configurations (e.g. development) as opposed to test configurations (e.g. development_Opt_1). When extra.args is used for a test configuration, the content of the property will be ignored by the respective executions of Jikes RVM during the test run. Moreover, when extra.args is set for a build configuration, its value cannot be changed later.

Therefore, extra.rvm.args must be used instead of extra.args.

It is likely that some errors have been masked because our test-runs were not acting as designed.

Environment

All

Assignee

Erik Brangs

Reporter

Erik Brangs

Labels

None

Components

Fix versions

Affects versions

Priority

Highest
Configure