diff options
Diffstat (limited to 'gcc/configure')
| -rwxr-xr-x | gcc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure b/gcc/configure index 5b848b6f2d8..9365d052371 100755 --- a/gcc/configure +++ b/gcc/configure @@ -4842,7 +4842,7 @@ fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $acx_cv_cc_gcc_supports_ada" >&5 $as_echo "$acx_cv_cc_gcc_supports_ada" >&6; } -if test x$GNATBIND != xno && test x$GNATMAKE != xno && test x$acx_cv_cc_gcc_supports_ada != xno; then +if test "x$GNATBIND" != xno && test "x$GNATMAKE" != xno && test x$acx_cv_cc_gcc_supports_ada != xno; then have_gnat=yes else have_gnat=no |