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