diff options
| -rwxr-xr-x | configure | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -1,5 +1,5 @@ #! /bin/sh -# From configure.in Revision: 1.46 . +# From configure.in Revision: 1.47 . # Guess values for system-dependent variables and create Makefiles. # Generated by GNU Autoconf 2.62. # @@ -694,6 +694,7 @@ mlspooldir fml_owner fml_group default_domain +default_hostname use_mime_component_filter fmlgwconfdir primary_ml_home_prefix_map @@ -708,6 +709,7 @@ with_mlspooldir with_fml_owner with_fml_group with_default_domain +with_default_hostname with_mime_component_filter with_fmlgwconfdir with_ml_home_prefix_map @@ -1340,6 +1342,7 @@ Optional Packages: --with-fml-owner=USER use USER instead of fml --with-fml-group=GROUP use GROUP instead of fml --with-default-domain=DOMAIN use DOMAIN as the default ML domain + --with-default-hostname=HOSTNAME use HOSTNAME as the default hostname --without-mime-component-filter disable mime_component_filter --with-group-writable-fmlconfdir=DIR instead of \$fmlconfdir/config.gw --with-ml-home-prefix-map=PATH use PATH as primary_ml_home_prefix_map @@ -3951,6 +3954,15 @@ fi +default_hostname=`hostname` + +# Check whether --with-default_hostname was given. +if test "${with_default_hostname+set}" = set; then + withval=$with_default_hostname; default_hostname=$withval +fi + + + use_mime_component_filter=yes @@ -5165,6 +5177,7 @@ echo " fmlconfdir: $fmlconfdir" echo " ml_home_prefix_map: $primary_ml_home_prefix_map" echo " mlspooldir: $mlspooldir" echo " default domain: $default_domain" +echo " default hostname: $default_hostname" echo " " echo " mime based filter: $use_mime_component_filter" echo " " |