diff options
| author | DJ Delorie <dj@delorie.com> | 2001-11-09 02:21:21 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2001-11-09 02:21:21 +0000 |
| commit | 4d22f8275a060dd0f1544d8d5172c67f2c84993b (patch) | |
| tree | 61be54c171738de483bf86a20cfbfc6ab38f5892 /configure.in | |
| parent | 9af8fce8aa8f52245c6c9c269043c9a3321661aa (diff) | |
| download | gdb-4d22f8275a060dd0f1544d8d5172c67f2c84993b.tar.gz | |
* configure.in (--enable-languages): Be more permissive about
syntax. Check for empty lists better. Warn about $LANGUAGES.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/configure.in b/configure.in index 4102e594b5d..7b7e4bb73de 100644 --- a/configure.in +++ b/configure.in @@ -976,18 +976,24 @@ 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/,$//'` + subdirs= for lang in ${srcdir}/gcc/*/config-lang.in .. do |