diff options
author | Sven Gothel <[email protected]> | 2012-02-24 18:04:56 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2012-02-24 18:04:56 +0100 |
commit | 7d0aacbf139d52c8a1ef76c3fa9d753ecfab234a (patch) | |
tree | 613c4f5f3d320ecefdcae6d1d06d30e2f5a5bfb2 /doc/manual/example2 | |
parent | 0dce3191754bd73138ff6a72e576a2af05f850ba (diff) |
Even if 'junit.is.disabled', we need to produce the test archive (7z), otherwise the jenkins build fails.
Diffstat (limited to 'doc/manual/example2')
0 files changed, 0 insertions, 0 deletions