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 /ChangeLog | |
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 'ChangeLog')
-rw-r--r-- | ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2007-03-21 Paul Smith <psmith@gnu.org> + + * configure.in: Don't turn on case-insensitive file system support + if --disable-... is given. Fixes Savannah bug #19348. + 2007-03-19 Paul Smith <psmith@gnu.org> * ALL: Use the strcache for all file name strings, or other @@ -226,7 +231,7 @@ (die): Cleanup code was removed from here; call the new function. (main): If we are re-execing, clean up the jobserver first so we don't leak file descriptors. - Fix bug reported by Craig Fithian <craig.fithian@citigroup.com>. + Reported by Craig Fithian <craig.fithian@citigroup.com> 2006-03-17 Paul D. Smith <psmith@gnu.org> |