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 | ba663628dd072ef0e318dabaff9fd52145626da7 (patch) | |
tree | a658e98fbcfcb074c264f1637b1dcac9ed7a5866 /config.ami.template | |
parent | 8706943a83f42e8116393d5ae8e9c7f0e0a282ac (diff) | |
download | make-ba663628dd072ef0e318dabaff9fd52145626da7.tar.gz |
Fix Savannah bug #19348: if the user specified
--disable-case-insensitive-file-system, don't turn it on.
Diffstat (limited to 'config.ami.template')
0 files changed, 0 insertions, 0 deletions