diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | configure.in | 2 |
3 files changed, 7 insertions, 2 deletions
@@ -1,5 +1,10 @@ 2006-07-03 Paolo Bonzini <bonzini@gnu.org> + * configure.in: Fix thinko in previous check-in. + * configure: Regenerate. + +2006-07-03 Paolo Bonzini <bonzini@gnu.org> + Sync from gcc: 2007-07-03 Paolo Bonzini <bonzini@gnu.org> @@ -2469,7 +2469,7 @@ if test -d ${srcdir}/gcc; then # Disable languages that need other directories if these aren't available. for i in $subdir_requires .; do - test -d gcc/$i && continue + test -f "$srcdir/gcc/$i/config-lang.in" && continue case ,${enable_languages}, in *,${language},*) # Specifically requested language; tell them. diff --git a/configure.in b/configure.in index b472484..9bd367d 100644 --- a/configure.in +++ b/configure.in @@ -1255,7 +1255,7 @@ if test -d ${srcdir}/gcc; then # Disable languages that need other directories if these aren't available. for i in $subdir_requires .; do - test -d gcc/$i && continue + test -f "$srcdir/gcc/$i/config-lang.in" && continue case ,${enable_languages}, in *,${language},*) # Specifically requested language; tell them. |