diff options
| author | Endi Sukma Dewata <edewata@redhat.com> | 2012-03-23 10:44:33 -0500 |
|---|---|---|
| committer | Endi Sukma Dewata <edewata@redhat.com> | 2012-03-26 12:54:21 -0500 |
| commit | 78378144e71a00a67690a1f99152402c892b0103 (patch) | |
| tree | ad4a0fb27d54d0b5da4adfe6b9626cab7a939c69 /.project | |
| parent | 621d9e5c413e561293d7484b93882d985b3fe15f (diff) | |
| download | pki-78378144e71a00a67690a1f99152402c892b0103.tar.gz pki-78378144e71a00a67690a1f99152402c892b0103.tar.xz pki-78378144e71a00a67690a1f99152402c892b0103.zip | |
Added option to build without Javadoc.
The build scripts have been modified to provide an option to build
without Javadoc to speed up development builds. The option can be
used as follows:
compose_pki_core_packages --without-javadoc hybrid_rpms
Ticket #111
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions