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 /glob/configure.bat | |
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 'glob/configure.bat')
0 files changed, 0 insertions, 0 deletions