Fix Savannah bug #19348: if the user specified
commita6ef72c35ae7709bd97f3898db17bcd9a091f260
authorpsmith <psmith>
Wed, 21 Mar 2007 13:49:34 +0000 (21 13:49 +0000)
committerpsmith <psmith>
Wed, 21 Mar 2007 13:49:34 +0000 (21 13:49 +0000)
treef181c896a11c2a4c604bfae2601fc7addf56f1bc
parentb76764695ced6061579f15354667317aa9d63947
Fix Savannah bug #19348: if the user specified
--disable-case-insensitive-file-system, don't turn it on.
ChangeLog
configure.in