aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorK. Richard Pixley <rich@cygnus>1991-12-13 11:54:57 +0000
committerK. Richard Pixley <rich@cygnus>1991-12-13 11:54:57 +0000
commit8f861f082dba9f5505595be9474a4e812ad302f5 (patch)
tree2e07186a1d070c4b042ea9f5992331fcfef37135 /configure
parent7da1d334242482f0b7c78ffeb470271d5d965802 (diff)
downloadgdb-8f861f082dba9f5505595be9474a4e812ad302f5.zip
gdb-8f861f082dba9f5505595be9474a4e812ad302f5.tar.gz
gdb-8f861f082dba9f5505595be9474a4e812ad302f5.tar.bz2
removed -ansi and -languages options from configure, added
configure.texi (a work in progress), configure.man (a terse first cut), build configure.info and install man page.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure11
1 files changed, 0 insertions, 11 deletions
diff --git a/configure b/configure
index a7c5e59..5f833ef 100755
--- a/configure
+++ b/configure
@@ -51,7 +51,6 @@ symbolic_link='ln -s'
Makefile=Makefile
Makefile_in=Makefile.in
-ansi=
arguments=$*
commontargets=
configdirs=
@@ -144,10 +143,6 @@ do
else
case ${arg} in
- -ansi | --a*)
- ansi=true
- clib=clib
- ;;
-datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* | --da=* | --d=*)
datadir=`echo ${arg} | sed 's/^[-a-z]*=//'`
datadiroption=${arg}
@@ -174,11 +169,6 @@ do
fatal=yes
fi
;;
- -languages=* | --languages=* | --language=* | --languag=* \
- | --langua=* | --langu=* | --lang=* | --lan=* | --la=* \
- | --l=*)
- languages="${languages} `echo ${arg} | sed 's/^[-a-z]*=//'`"
- ;;
# -namesubdir | --namesubdir | --namesubdi | --namesubd | --namesub | --namesu | --names | --name | --nam | --na)
# next_namesubdir=yes
# ;;
@@ -325,7 +315,6 @@ if [ -n "${fatal}" -o "${hosts}" = "help" ] ; then
(echo "Usage: configure HOST" ;
echo ;
echo "Options: [defaults in brackets]" ;
- echo " -ansi configure w/ANSI library. [no ansi lib]" ;
echo " -datadir=MYDIR configure for installation of host dependent files into MYDIR. [\"/usr/local\"]" ;
echo " -gas configure the compilers for use with gas. [native as]" ;
echo " -help print this message. [normal config]" ;