diff options
| author | dj <dj@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-11-09 02:06:18 +0000 |
|---|---|---|
| committer | dj <dj@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-11-09 02:06:18 +0000 |
| commit | a9cbbd8a0c256a8c10ce1a2d784bdb4d64ad884d (patch) | |
| tree | 0254be99e4d191b682009770453f0e1f57425019 | |
| parent | 072610acbcea061d5d8e9a76a7db3fa6dd62233c (diff) | |
| download | ppe42-gcc-a9cbbd8a0c256a8c10ce1a2d784bdb4d64ad884d.tar.gz ppe42-gcc-a9cbbd8a0c256a8c10ce1a2d784bdb4d64ad884d.zip | |
* configure.in (--enable-languages): Be more permissive about
syntax. Check for empty lists better. Warn about $LANGUAGES.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46869 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | configure.in | 11 |
2 files changed, 13 insertions, 3 deletions
diff --git a/ChangeLog b/ChangeLog index ef287de5ee1..032921023ed 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2001-11-08 Phil Edwards <pedwards@disaster.jaj.com> + + * configure.in (--enable-languages): Be more permissive about + syntax. Check for empty lists better. Warn about $LANGUAGES. + 2001-11-08 Geoffrey Keating <geoffk@redhat.com> * config.sub: Import from master sources, rev. 1.230. diff --git a/configure.in b/configure.in index 26fd4e24e60..d6e62aeeeda 100644 --- a/configure.in +++ b/configure.in @@ -1033,18 +1033,23 @@ fi # Look if the user specified --enable-languages="..."; if not, use # the environment variable $LANGUAGES if defined. $LANGUAGES might # go away some day. +# NB: embedded tabs in this IF block -- do not untabify if test x"${enable_languages+set}" != xset; then if test x"${LANGUAGES+set}" = xset; then - enable_languages="`echo ${LANGUAGES} | tr ' ' ','`" + enable_languages="${LANGUAGES}" + echo configure.in: warning: setting LANGUAGES is deprecated, use --enable-languages instead 1>&2 else enable_languages=all fi else - if test x"${enable_languages}" = x; then - echo configure.in: --enable-languages needs at least one argument 1>&2 + if test x"${enable_languages}" = x || + test x"${enable_languages}" = xyes; + then + echo configure.in: --enable-languages needs at least one language argument 1>&2 exit 1 fi fi +enable_languages=`echo "${enable_languages}" | sed -e 's/[ ,][ ,]*/,/g' -e 's/,$//'` # First scan to see if an enabled language requires some other language. # We assume that a given config-lang.in will list all the language |
