diff options
Diffstat (limited to 'scripts/compose_pki_core_packages')
| -rwxr-xr-x | scripts/compose_pki_core_packages | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/compose_pki_core_packages b/scripts/compose_pki_core_packages index 23d58e0d0..67d85a599 100755 --- a/scripts/compose_pki_core_packages +++ b/scripts/compose_pki_core_packages @@ -38,12 +38,16 @@ PKI_CORE_VERSION="10.2.0" ## PKI_SPECS_FILE="${PKI_DIR}/specs/${PKI_CORE}.spec" -PKI_COMPONENT_LIST="test setup symkey util common native-tools java-tools server selinux ca kra ocsp tks tps-tomcat silent" +PKI_COMPONENT_LIST="test symkey util common native-tools java-tools" if [ "$WITHOUT_JAVADOC" = "" ]; then PKI_COMPONENT_LIST="$PKI_COMPONENT_LIST javadoc" fi +if [ "$WITHOUT_SERVER" = "" ]; then + PKI_COMPONENT_LIST="$PKI_COMPONENT_LIST server ca kra ocsp tks tps-tomcat setup silent" +fi + ## ## Establish the TARGET files/directories of the 'pki-core' source/spec files ## |