diff options
Diffstat (limited to 'build/configure')
| -rwxr-xr-x | build/configure | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/build/configure b/build/configure index 73b9393..07f18b5 100755 --- a/build/configure +++ b/build/configure @@ -20,6 +20,12 @@ $echo "configuring '$project_name'" $echo $echo +$echo +$echo "Would you like to build optional parts of '$project_name' that require" +$echo "the 'zlib' library?" +$echo + +with_zlib=`read_y_n n` $echo $echo "Would you like to build optional parts of '$project_name' that require" @@ -65,7 +71,8 @@ $echo with_xqilla=`read_y_n n` -echo "xsd_with_ace := $with_ace" >$1 +echo "xsd_with_zlib := $with_zlib" >$1 +echo "xsd_with_ace := $with_ace" >>$1 echo "xsd_with_xdr := $with_xdr" >>$1 echo "xsd_with_dbxml := $with_dbxml" >>$1 echo "xsd_with_xqilla := $with_xqilla" >>$1 |