diff options
| author | Steve Chamberlain <sac@cygnus> | 1991-11-13 19:49:17 +0000 |
|---|---|---|
| committer | Steve Chamberlain <sac@cygnus> | 1991-11-13 19:49:17 +0000 |
| commit | ab71ab7b1fd2556b00fc18c1b42921dd050f7c65 (patch) | |
| tree | c0d1728d26d631b9f5bf518a27b97402018d8134 /configure | |
| parent | 56b10d6deef0d04f29d898a70fa2d0dfb0f104e4 (diff) | |
| download | gdb-ab71ab7b1fd2556b00fc18c1b42921dd050f7c65.zip gdb-ab71ab7b1fd2556b00fc18c1b42921dd050f7c65.tar.gz gdb-ab71ab7b1fd2556b00fc18c1b42921dd050f7c65.tar.bz2 | |
The +noversion flag will make an installation happen to the machine/..
directory rather than the machine/version/.. directory.
Steve
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -79,7 +79,7 @@ target= targets= targetsubdir= verbose= - +version_path="yes" for arg in $*; do # handle things that might have args following as separate words @@ -108,6 +108,9 @@ do ansi=true clib=clib ;; + -noversion | +noversion) + version_path="no" + ;; -ddestdir=* | +ddestdir=* | +ddestdi=* | +ddestd=* | +ddest=* | +ddes=* | +dde=* | +dd=*) ddestdir=`echo ${arg} | sed 's/[+-]dd[a-z]*=//'` ;; @@ -717,7 +720,13 @@ exit 0 # # # $Log$ -# Revision 1.69 1991/11/12 04:41:21 rich +# Revision 1.70 1991/11/13 19:49:17 sac +# The +noversion flag will make an installation happen to the machine/.. +# directory rather than the machine/version/.. directory. +# +# Steve +# +# Revision 1.69 1991/11/12 04:41:21 rich # allow +foo bar options. stolen from texinfo configure # # Revision 1.68 1991/11/09 11:34:52 rich |