diff options
author | Endi S. Dewata <edewata@redhat.com> | 2013-11-25 12:43:03 -0500 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2013-12-06 03:18:23 -0500 |
commit | 8f6de6fd339c156ce3aad13ad5d45b635d194f79 (patch) | |
tree | 3d1b97403808f88a87b9e75aa6afc8e7280e8f8b /base/server/share | |
parent | 3adfccf442916b1f91177097a1ad318d1a2e7838 (diff) | |
download | pki-8f6de6fd339c156ce3aad13ad5d45b635d194f79.tar.gz pki-8f6de6fd339c156ce3aad13ad5d45b635d194f79.tar.xz pki-8f6de6fd339c156ce3aad13ad5d45b635d194f79.zip |
Added option to build without server packages.
The build scripts have been modified to accept an optional parameter
to build pki-core without the server packages.
Diffstat (limited to 'base/server/share')
0 files changed, 0 insertions, 0 deletions