diff options
| author | Richard Sandiford <rdsandiford@googlemail.com> | 2004-09-29 15:43:26 +0400 |
|---|---|---|
| committer | Richard Sandiford <rdsandiford@googlemail.com> | 2004-09-29 15:43:26 +0400 |
| commit | 09ebdaf71599f7f5de489982c7f73143d39820cb (patch) | |
| tree | 2e30b4f1806b1fb28284f7f6d8b5dab971f67580 /configure | |
| parent | 85153fb164bc1b847c21b59b344974af17159c95 (diff) | |
* configure.in (--without-headers): Add missing double quotes.
* configure: Regenerate.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1024,8 +1024,8 @@ esac # If both --with-headers and --with-libs are specified, default to # --without-newlib. -if test x"${with_headers}" != x && test x"${with_headers} != xno \ - && test x"${with_libs}" != x && test x"${with_libs} != xno ; then +if test x"${with_headers}" != x && test x"${with_headers}" != xno \ + && test x"${with_libs}" != x && test x"${with_libs}" != xno ; then if test x"${with_newlib}" = x ; then with_newlib=no fi |