Bernhard, while we're at it, there are currently two problems with
redports which diminish it's usefulness significantly:
1. Redports used to run make regression-test on every build; right
now, each log has this instead:
phase 5: make test
[:
Am 13.08.2014 12:10 schrieb Vitaly Magerya vmage...@gmail.com:
Bernhard, while we're at it, there are currently two problems with
redports which diminish it's usefulness significantly:
1. Redports used to run make regression-test on every build; right now,
each log has this instead: