diff options
| author | Paul Smith <psmith@gnu.org> | 2007-03-21 13:49:34 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2007-03-21 13:49:34 +0000 |
| commit | 891409f2126f8abfd64f28fe82f546d716c671e2 (patch) | |
| tree | a658e98fbcfcb074c264f1637b1dcac9ed7a5866 /configure.in | |
| parent | 6ccf33cdbdfda2aea5d51e4d4991881c74d853d1 (diff) | |
| download | gunmake-891409f2126f8abfd64f28fe82f546d716c671e2.tar.gz | |
Fix Savannah bug #19348: if the user specified
--disable-case-insensitive-file-system, don't turn it on.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/configure.in b/configure.in index 6bc76f8..27be1e9 100644 --- a/configure.in +++ b/configure.in @@ -261,9 +261,10 @@ AM_CONDITIONAL(USE_CUSTOMS, test "$use_customs" = true) AH_TEMPLATE(HAVE_CASE_INSENSITIVE_FS, [Use case insensitive file names]) AC_ARG_ENABLE(case-insensitive-file-system, AC_HELP_STRING([--enable-case-insensitive-file-system], - [enable case insensitive file system support]), - case_insensitive_fs="yes" AC_DEFINE(HAVE_CASE_INSENSITIVE_FS), - case_insensitive_fs="no") + [assume file systems are case insensitive]), + [case $enableval in + yes) AC_DEFINE(HAVE_CASE_INSENSITIVE_FS) ;; + esac]) # See if we can handle the job server feature, and if the user wants it. |