diff options
| author | David MacKenzie <djm@cygnus> | 1994-03-31 05:45:16 +0000 |
|---|---|---|
| committer | David MacKenzie <djm@cygnus> | 1994-03-31 05:45:16 +0000 |
| commit | bfb089946fc55f31ee32ab592c7438c78adc7457 (patch) | |
| tree | 0c2ffdc78cf8d484cbe564d835a9a3c8dfd4a01f /configure | |
| parent | 0397592594f7de52f34a0576db46621463dcd9d1 (diff) | |
| download | gdb-bfb089946fc55f31ee32ab592c7438c78adc7457.zip gdb-bfb089946fc55f31ee32ab592c7438c78adc7457.tar.gz gdb-bfb089946fc55f31ee32ab592c7438c78adc7457.tar.bz2 | |
* configure: Support --disable-FEATURE.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -158,6 +158,11 @@ do ;; esac ;; + --disable-*) + enableopt=`echo ${option} | sed 's:^--disable-:enable_:;s:-:_:g'` + eval $enableopt=no + disableoptions="$disableoptions $option" + ;; --enable-*) case "$option" in *=*) ;; @@ -257,7 +262,7 @@ do withoptions="$withoptions $option" ;; --without-*) - withopt=`echo ${option} | sed 's:^--::;s:out::;s:-:_:g'` + withopt=`echo ${option} | sed 's:^--::;s:out::;s:-:_:g'` eval $withopt=no withoutoptions="$withoutoptions $option" ;; @@ -371,6 +376,7 @@ if [ -n "${fatal}" -o "${host_alias}" = "help" ] ; then echo ' --with-FOO, --with-FOO=BAR package FOO is available (parameter BAR)' echo ' --without-FOO package FOO is NOT available' echo ' --enable-FOO, --enable-FOO=BAR include feature FOO (parameter BAR)' + echo ' --disable-FOO do not include feature FOO' echo echo 'Where HOST and TARGET are something like "vax", "sun3", "encore", etc.' echo @@ -931,7 +937,7 @@ if [ -z "${norecursion}" -a -n "${configdirs}" ] ; then if [ ! -z "${recprog}" ] ; then if eval ${config_shell} ${recprog} ${verbose} ${buildopt} --host=${host_alias} --target=${target_alias} \ ${prefixoption} ${tmpdiroption} ${exec_prefixoption} \ - ${srcdiroption} ${program_prefixoption} ${program_suffixoption} ${program_transform_nameoption} ${site_option} ${withoptions} ${withoutoptions} ${enableoptions} ${removing} ${other_options} ${redirect} ; then + ${srcdiroption} ${program_prefixoption} ${program_suffixoption} ${program_transform_nameoption} ${site_option} ${withoptions} ${withoutoptions} ${enableoptions} ${disableoptions} ${removing} ${other_options} ${redirect} ; then true else echo Configure in `pwd` failed, exiting. 1>&2 |