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/example1/gen.sh | |
| 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/example1/gen.sh')
0 files changed, 0 insertions, 0 deletions